This pack introduces the SPARK language and its associated tools and teaches the principles of writing safety-critical software using SPARK, a subset of the Ada 95 language. SPARK was specifically developed to serve industries developing high-integrity, safety-critical software with a language and associated toolset which increase the likelihood of the program behaving as intended.
Read More
This pack introduces the SPARK language and its associated tools and teaches the principles of writing safety-critical software using SPARK, a subset of the Ada 95 language. SPARK was specifically developed to serve industries developing high-integrity, safety-critical software with a language and associated toolset which increase the likelihood of the program behaving as intended.
Read Less
Add this copy of High Integrity Ada: the Spark Approach to cart. $18.40, very good condition, Sold by Reuseabook rated 5.0 out of 5 stars, ships from Gloucester, GLOS, UNITED KINGDOM, published 1997 by Addison Wesley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine.
Add this copy of High Integrity Ada: the Spark Approach to cart. $68.75, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1997 by Addison-Wesley.
