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

Building High Integrity Applications with SPARK

John W. McCormick

€61,84
€61,84 €63,75 Myynti

Meillä on varastossa

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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 ...

€61,84
€61,84 €63,75