Formal methods of program verification and specification
Language: English Publication details: New Jersey Prentice-Hall 1982Description: xiv, 207 pISBN:- 0133288072
Lending Books
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
|
Lending Books
|
Engineering Library Lending Section | Lending Collection | 004.453 BER (Browse shelf(Opens below)) | Available | 213932 |
Total holds: 0
Browsing Engineering Library shelves, Shelving location: Lending Section, Collection: Lending Collection Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 004.451 TAN Modern operating systems | 004.451 TAY Unix in 24 hours | 004.451 WIN Windows 7 in simple steps | 004.453 BER Formal methods of program verification and specification | 004.453 REA Real - time workshop for use with simulink | 004.455.2 SHA Sharepoint 2010 six in one | 004.49 WEL Securing Ajax applications |
There are no comments on this title.
Log in to your account to post a comment.