Building high integrity applications with SPARK / John W. McCormick and Peter C Chapin
By: McCormick, John W
.
Contributor(s): Chapin, Peter C.
Publisher: New York: Cambridge University Press, 2015Description: xiv, 367 p.ISBN: 9781107656840.Subject(s): SPARK (Computer program language) | Fault-tolerant computingDDC classification: 004.2 Online resources: Click here to access online
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Books
|
Mahatma Gandhi University Library General Stacks | 004.2 Q5 (Browse shelf) | Available | 59392 |
Total holds: 0
Includes bibliographical references and index.
There are no comments for this item.