Building high integrity applications with SPARK /

Podrobná bibliografie
Hlavní autor: McCormick, John W
Další autoři: Chapin, Peter C.
Médium: Printed Book
Vydáno: New York: Cambridge University Press, 2015.
Témata:
SPARK (Computer program language)
Fault-tolerant computing.
On-line přístup:https://books.google.co.in/books?id=Yh9TCgAAQBAJ&printsec=frontcover&dq=9781107040731&hl=en&sa=X&ved=0ahUKEwjbrfLU2YXgAhUHs48KHW79CL0Q6AEIKDAA#v=onepage&q=9781107040731&f=false
Popis
Fyzický popis:xiv, 367 p.
Bibliografie:Includes bibliographical references and index.
ISBN:9781107656840

Podobné jednotky