Formal methods of program verification and specification / H.K. Berg ... [et al.].
Contributor(s): Berg, H. K. (Helmut K.)
.
Material type: 
BookSeries: Prentice-Hall software series.Publisher: Englewood Cliffs, N.J. : Prentice-Hall, c1982Description: xiv, 207 p. : ill. ; 24 cm.ISBN: 0133288072.Subject(s): Computer programs -- Verification | Computer programs -- Specifications | Formal methods (Computer science)DDC classification: 001.65/24
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books,Booklets,Workbooks
|
IBB Library-Gidan Kwano | QA76.6.F65 1982 (Browse shelf) | nc 1 | Available | 2342109463 |
Browsing IBB Library-Gidan Kwano Shelves Close shelf browser
|
|
|
|
|
|
|
||
| QA76.6.E53 1993 Advanced tools for windows developers/ | QA76.6.F44 1992 Illustrated UNIX System V/BSD / | QA76.6.F44 1992 Illustrated UNIX System V/BSD / | QA76.6.F65 1982 Formal methods of program verification and specification / | QA76.6.F65 1982 Formal methods of program verification and specification / | QA76.6.G38 1985 Computer organization and programming : | QA76.6.H37 2003 Excel 2003 for dummies / |
Includes bibliographical references and index.
B-6351/abu/09/05/17
There are no comments for this item.