Home » High Integrity Software: The Spark Approach to Safety and Security by John Barnes
High Integrity Software: The Spark Approach to Safety and Security John  Barnes

High Integrity Software: The Spark Approach to Safety and Security

John Barnes

Published
ISBN : 9780321136169
Hardcover
448 pages
Enter the sum

 About the Book 

This text provides an accessible introduction to the SPARK programming language. The CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice.