Building High Integrity Applications With Spark - 9781107040731
$142.97
{{option.name}}:
{{selected_options[option.position]}}
{{value_obj.value}}
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
Show More
Show Less