Building High Integrity Applications with SPARK di John W. (University of Northern Iowa) McCormick edito da Cambridge University Press
Alta reperibilità

Building High Integrity Applications with SPARK

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.

Spedizione gratuita
€ 155.95
o 3 rate da € 51.98 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Building High Integrity Applications with SPARK
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti