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. £105.55, good condition, Sold by Zoom Books East rated 5.0 out of 5 stars, ships from Glendale Heights, IL, UNITED STATES, published 2003 by Addison-Wesley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Book is in very good condition and may include minimal underlining highlighting. The book can also include From the library of labels. May not contain miscellaneous items toys dvds etc. We offer 100% money back guarantee and 24 7 customer service.
Add this copy of High Integrity Software: the Spark Approach to Safety to cart. £123.75, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2003 by Addison-Wesley.
