High Integrity Software: The Spark Approach to Safety and Security

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

• All from $35.16
• New Books
• Used Books from $35.16
• Rare Books from $87.16

• All Copies (0)
• Choose Edition (1)

Currently there are no new copies available. However, our inventory changes frequently. Please check back soon or try Book Fetch.

2003, Addison Wesley Publishing Company, London, England ISBN-13: 9780321136169 Hardcover See All from $35.16