An introduction to formal program verification / Ali Mili.
Material type: TextPublication details: New York : Van Nostrand Reinhold Co., c1985.Description: xii, 291 p. ; 24 cmISBN:- 0442263228
- 001.64/2 19
- QA76.6 .M5217 1985
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Informatics and Virtual Education Library Collection Archive | QA76.6 .M5217 1985 (Browse shelf(Opens below)) | Available | 1835563 |
Includes bibliographies and index.
There are no comments on this title.
Log in to your account to post a comment.