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.
1 150,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 | 9781107040731 |
|---|---|
| Auteur | McCormick, John W. (University of Northern Iowa) |
| Editeur | Cambridge University Press |