10% OFF

Building High Integrity Applications With Spark

by John W. (University Of Northern Iowa) Mccormick e Peter C. Chapin
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, August of 2015 ‧
73,00€
10% OFF CARD
free shipping
Sell ​​your book
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.

Building High Integrity Applications With Spark

by John W. (University Of Northern Iowa) Mccormick e Peter C. Chapin

Property Description
ISBN: 9781107656840
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: August of 2015
Language: English
Dimensions: 154 x 185 x 17 mm
Cover: Softcover
Pages: 382
Format: Book
Categories: Books in English > Computing > Other Applications
EAN: 9781107656840