• 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 Izpārdošana

Mums ir noliktavā

Šobrīd preces nav
Atstājiet e-pasta adresi un paziņosim, tiklīdz prece atkal būs noliktavā.
Vāku veids
Mīkstie vāki · Šis izdevums €62,84Piegāde 3-4 ned.
Building High Integrity Applications with SPARK Cietie vāki €162,07Piegāde 3-4 ned.
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