Join Literal
Building High Integrity Applications with SPARK
Building High Integrity Applications with SPARKJohn W. McCormick
Sign up to use
John W. McCormick/Building High Integrity Applications with SPARK
Building High Integrity Applications with SPARK

Building High Integrity Applications with SPARK

John W. McCormick, Peter C. Chapin
Sign up to use
Sign up to use
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
Pages
382
Published
2015
Publisher
Cambridge University Press
Language
English
ISBN
9781107040731
Discover more books like Building High Integrity Applications with SPARK