• Book cover of: Building High Integrity Applications with SPARK. By: John W. McCormick

Building High Integrity Applications with SPARK

John W. McCormick

€62,84
€62,84 €65,25 Väljamüük

Meil on laos

Toodet hetkel ei ole
Jätke oma e-posti aadress ja anname teada, kui toode on taas laos.
Köide
Pehme köide · See väljaanne €62,84Tarne 3-4 näd.
Building High Integrity Applications with SPARK Kõva köide €162,07Tarne 3-4 näd.
Kalba Anglų k.
Leidimo metai 2015 m.
Puslapių skč. 382 psl.
Viršelis Minkštas viršelis
ISBN 9781107656840

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.

Book cover of: Building High Integrity Applications with SPARK. By: John W. McCormick

Building High Integrity Applications ...

€62,84
€62,84 €65,25