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.
Информация за "Building High Integrity Applications with SPARK"
- SKU 9781107656840
- Weight 0.548000
- ISBN 9781107656840
- Вид корица Paperback / softback
- Издателство Cambridge University Press
- Брой страници 382
The information below is required for social login