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
There are no comments on this title.
Log in to your account to post a comment.