Title:
A programming logic : with an introduction to the PL/CV verifier
Personal Author:
Publication Information:
Cambridge, Mass. : Winthrop, 1978
ISBN:
9780876267264
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000002756728 | QA76.73.P252 C66 1978 | Open Access Book | Book | Searching... |