Bestellen Terug

Hoofdkenmerken

Auteur:	McCormick, John W.
Titel:	Building High Integrity Applications with SPARK
Uitgever:	Cambridge University Press
ISBN:	9781107656840
Land van oorsprong:	United Kingdom
Prijs:	€ 81,00
Verschijningsdatum:	31-08-2015
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Programming & scripting languages: general
Geillustreerd:	Worked examples or Exercises; 14 Tables, unspecified; 13 Line drawings, unspecified

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	382
Hoogte mm.:	155
Breedte mm.:	228
Dikte mm.:	22
Gewicht gr.:	550

 

Inhoud:

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.