Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Building High Integrity Applications with SPARK
Engelsk
Bogcover for Building High Integrity Applications with SPARK af Peter C. Chapin, John W. McCormick, 9781107656840
Specifikationer
Sprog:
Engelsk
Sider:
382
ISBN-13:
9781107656840
Indbinding:
Paperback
ISBN-10:
1107656842
Udg. Dato:
31 aug 2015
Størrelse i cm:
15,5 x 22,8 x 2,2
Oplagsdato:
31 aug 2015

Building High Integrity Applications with SPARK

Engelsk
Paperback 2015
Format:

Bog beskrivelse
The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.
... Vis mere

Forlags Vejl. pris
594,24 kr
Hos Booktok
517 kr
spar 13%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
382
ISBN-13:
9781107656840
Indbinding:
Paperback
ISBN-10:
1107656842
Udg. Dato:
31 aug 2015
Størrelse i cm:
15,5 x 22,8 x 2,2
Oplagsdato:
31 aug 2015
Finder produkter...
Kategori sammenhænge