Formal methods of program verification and specification / by 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)
| 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) | nc1 | Available | 2342131191 |
Browsing IBB Library-Gidan Kwano Shelves Close shelf browser
|
|
|
|
|
|
|
||
| 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 / | QA76.6.H38 2003 Preventative programming techniques : |
Includes bibliographical references and index.
B-6350/KOLO/260717
There are no comments for this item.