Alta reperibilità
Building High Integrity Applications with SPARK
- Editore:
Cambridge University Press
- EAN:
9781107040731
- ISBN:
1107040736
- Pagine:
- 382
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione 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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti