Building High Integrity Applications With Spark - 9781107040731

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

• | Author: John W. McCormick, Peter C. Chapin
• | Publisher: Cambridge University Press
• | Publication Date: Aug 31, 2015
• | Number of Pages: 382 pages
• | Language: English
• | Binding: Hardcover
• | ISBN-10: 1107040736
• | ISBN-13: 9781107040731