The foundations of program verification
Material type: TextLanguage: English Series: Publication details: B. G. Teubner, John Wiley & Sons 1987 Edition: 2nd edDescription: ix, 230pISBN: 0471912824 (HB)Subject(s): COMPUTER PROGRAMS – VERIFICATION | COMPUTER SYSTEMS PROGRAMS – VERIFICATIONDDC classification: 005.14 LOE(FOU)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 005.14 LOE(FOU) (Browse shelf(Opens below)) | 1 | Available | 8809 |
Total holds: 0
SAR/125/2009/07-10-09
There are no comments on this title.