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 |
Browsing Indian Institute of Technology Tirupati shelves Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
|
|
|
||
| 971.372 RAM BUILDING A LEGACY: ANUMOLU RAMAKRISHNA THE POIONEER | 973.8092 DouN (11365) Narrative of the Life of Frederick Douglass / | 974.45 HawH The House of the Seven Gables / | 9781139629294 Building High Integrity Applications with SPARK | RED 620.001 RedI4 Introduction to The Finite Element Method / | REF 001.30954 AnwT (11677) Transcultural Humanities in South Asia : Critical Essays On Literature And Culture / | REF 001.42 KotR4 Research Methodology : Methods and Techniques / |
There are no comments on this title.
Log in to your account to post a comment.