Building high integrity applications with SPARK / John W. McCormick and Peter C Chapin
Publication details: New York: Cambridge University Press, 2015.Description: xiv, 367 pISBN:- 9781107656840
- 004.2 Q5
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Mahatma Gandhi University Library General Stacks | 004.2 Q5 (Browse shelf(Opens below)) | Available | 59392 |
Total holds: 0
Includes bibliographical references and index.
There are no comments on this title.