• 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 Išpardavimas

Turime sandėlyje

Prekės šiuo metu neturime
Palikite el. paštą ir pranešime iškart, kai prekė vėl atsiras sandėlyje.
Viršelis
Minkštas viršelis · Šis leidimas €62,84Pristatymas 3-4 sav.
Building High Integrity Applications with SPARK Kietas viršelis €162,07Pristatymas 3-4 sav.
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