Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science)
Released: Jan 01, 1980
Publisher: Prentice/Hall International
Format: Paperback, 505 pages
to view more data
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.