Main image
Click to view image in fullscreen
![]()
Building High Integrity Applications with SPARK
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.
560,00 DH
Sur commande
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.
| ISBN / EAN | 9781107656840 |
|---|---|
| Auteur | McCormick, John W. (University of Northern Iowa) |
| Editeur | Cambridge University Press |