Skip to content
Scan a barcode
Scan
Hardcover High Integrity ADA: The Spark Approach Book

ISBN: 0201175177

ISBN13: 9780201175172

High Integrity ADA: The Spark Approach

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.

Recommended

Format: Hardcover

Temporarily Unavailable

We receive fewer than 1 copy every 6 months.

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured