Building high integrity applications with spark
Auteur :
McCormick, John W. / Chapin, Peter C.
Éditeur :
Cambridge University Press
ISBN :
9781107656840
Date de publication :
31 août 2015
Dimensions :
22,8 x 15,1 x 2,0 cm
Poids :
550 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.