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

Building High Integrity Applications with SPARK

John W. McCormick

€162,07
€162,07 Myynti

Meillä on varastossa

Prekės šiuo metu neturime
Palikite el. paštą ir pranešime iškart, kai prekė vėl atsiras sandėlyje.
Viršelis
Kietas viršelis · Šis leidimas €162,07Pristatymas 3-4 sav.
Building High Integrity Applications with SPARK Minkštas viršelis €62,84Pristatymas 3-4 sav.
Kalba Anglų k.
Leidimo metai 2015 m.
Puslapių skč. 382 psl.
Viršelis Kietas viršelis
ISBN 9781107040731

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 ...

€162,07
€162,07