High Integrity ADA: The Spark Approach

by John Barnes and Praxis Critical Systems

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0201175177
• ISBN13: 9780201175172
• Release Date: January 1997
• Publisher: Addison-Wesley Professional
• Length: 384 Pages
• Weight: 1.60 lbs.
• Dimensions: 1.1" x 7.0" x 9.5"