Title:
Proving programs correct
Personal Author:
Publication Information:
New York : J. Wiley, 1979
ISBN:
9780471033950
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | 30000000876916 | QA76.6 A54 1979 | Open Access Book | Book | Searching... |
Searching... | 30000001297526 | QA76.6 A54 1979 | Open Access Book | Book | Searching... |
