Building high integrity applications with SPARK / John W. McCormick and Peter C Chapin
Publisher: New York: Cambridge University Press, 2015Description: xiv, 367 pISBN: 9781107656840Subject(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 on this title.