Building High Integrity Applications with SPARK

by John W. McCormick (Author), Peter C. Chapin (Author)

New
Illustrated
2015
$151.59

This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.

Synopsis

This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.

$151.59

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 382
Edition: Illustrated
Publisher: Cambridge University Press
Published: 31 Aug 2015
ISBN 10: 1107040736
ISBN 13: 9781107040731

Building High Integrity Applications with SPARK

New

$151.59

Synopsis

$151.59

More Information