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.
Read More
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.
Read Less
Add this copy of High Integrity Software: the Spark Approach to Safety to cart. $98.50, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2003 by Addison-Wesley.
Add this copy of High Integrity Software: the Spark Approach to Safety to cart. $101.03, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2003 by Addison-Wesley.
