Building high integrity applications with SPARK /

Bibliographic Details
Main Author: McCormick, John W
Other Authors: Chapin, Peter C.
Format: Printed Book
Published: New York: Cambridge University Press, 2015.
Subjects:
SPARK (Computer program language)
Fault-tolerant computing.
Online Access:https://books.google.co.in/books?id=Yh9TCgAAQBAJ&printsec=frontcover&dq=9781107040731&hl=en&sa=X&ved=0ahUKEwjbrfLU2YXgAhUHs48KHW79CL0Q6AEIKDAA#v=onepage&q=9781107040731&f=false

Internet

https://books.google.co.in/books?id=Yh9TCgAAQBAJ&printsec=frontcover&dq=9781107040731&hl=en&sa=X&ved=0ahUKEwjbrfLU2YXgAhUHs48KHW79CL0Q6AEIKDAA#v=onepage&q=9781107040731&f=false

MG University

Holdings details from MG University
Call Number: 004.2 Q5
Copy Live Status Unavailable

Similar Items