Title:
Mathematical theory of program correctness
Personal Author:
Publication Information:
Englewood Cliffs, N.J. : Prentice-Hall, 1980
ISBN:
9780135621325
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000001328768 | QA76.6 B34 1980 | Open Access Book | Book | Searching... |