High Integrity Software: The Spark Approach to Safety and Security

by John Barnes

bull; Spark is a unique language specifically aimed at writing reliable, secure software bull; Defines a language that reduces the risk of error-prone software being put into service bull; The author... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0321136160
• ISBN13: 9780321136169
• Release Date: April 2003
• Publisher: Addison Wesley Publishing Company
• Length: 448 Pages
• Weight: 2.10 lbs.
• Dimensions: 1.1" x 7.0" x 9.4"