Building high integrity applications with SPARK /

Sonraí Bibleagrafaíochta
Príomhúdar: McCormick, John W
Údair Eile: Chapin, Peter C.
Formáid: Printed Book
Foilsithe: New York: Cambridge University Press, 2015.
Ábhair:
SPARK (Computer program language)
Fault-tolerant computing.
Rochtain Ar Líne:https://books.google.co.in/books?id=Yh9TCgAAQBAJ&printsec=frontcover&dq=9781107040731&hl=en&sa=X&ved=0ahUKEwjbrfLU2YXgAhUHs48KHW79CL0Q6AEIKDAA#v=onepage&q=9781107040731&f=false

Idirlíon

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

Sonraí sealbhúcháin ó MG University
Gairmuimhir: 004.2 Q5
Cóip Live Status Unavailable

Míreanna Comhchosúla