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.
CHF 80.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Mccormick, John W.
- ISBN: 978-1-107-65684-0
- EAN: 9781107656840
- Produktnummer: 20740055
- Verlag: Cambridge University Press
- Sprache: Englisch
- Erscheinungsjahr: 2016
- Seitenangabe: 382 S.
- Masse: H22.9 cm x B15.2 cm x D2.0 cm 552 g
- Abbildungen: Paperback
- Gewicht: 552
1 weiteres Werk von Peter C. Chapin:
Bewertungen
Anmelden