Building High Integrity Applications with SPARK
Material type:
TextLanguage: English Publication details: Cambridge : Cambridge University Press, ©2015.Description: xiv, 367 pISBN: - 9781139629294
- 9781139629294
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
E-Books
|
Indian Institute of Technology Tirupati | 9781139629294 (Browse shelf(Opens below)) | Available | EB00067 |
There are no comments on this title.
Log in to your account to post a comment.