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 to cart. $343.46, very good condition, Sold by LLU- BOOKSERVICE ANTIQUARIAN rated 3.0 out of 5 stars, ships from Wahlstedt, S-H, GERMANY, published 2003 by Pearson Addison Wesley Prof.
Add this copy of High Integrity Software: the Spark Approach to Safety to cart. $109.14, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2003 by Addison-Wesley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of High Integrity Software: The Spark Approach to Safety to cart. $114.09, good condition, Sold by BGV Books LLC rated 5.0 out of 5 stars, ships from Murray, KY, UNITED STATES, published 2003 by Addison Wesley Publishing Company.
Add this copy of High Integrity Software: the Spark Approach to Safety to cart. $163.84, good 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. $219.94, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2003 by Addison-Wesley.
