Rigorous Software Development introduction to program verification
Series: Undergraduate Topics in Computer SciencePublication details: Springer London 2011Description: xii, 261pISBN:- 9780857290175
- 005.14 A164r
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Text Book
|
Central Library General Books | Computer Science | 005.14 A164r (Browse shelf(Opens below)) | Available | 19218 |
Total holds: 0
Browsing Central Library shelves, Shelving location: General Books, Collection: Computer Science Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 005.133 Sch329c4 C++ | 005.133 Si17s SCJP | 005.1333 K1317l8 Let Us C | 005.14 A164r Rigorous Software Development introduction to program verification | 005.26 Sch35p Programming in C for Unix | 005.262 B181p2 Programming In ansi C | 005.262 B181p3 Programming In ansi C |
There are no comments on this title.
Log in to your account to post a comment.