High Integrity Ada the Spark Approach
- Binding: Hardcover
- Edition: 1
- Publisher: Addison-Wesley
- Publish date: 06/01/1997
Description:
This is an introduction to the SPARK programming language and its associated tools. Developed for the writing of high integrity software, SPARK is valued in application areas where getting the program right really matters.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller | Condition | Comments | Price |
Ergodebooks
|
Good |
$42.01
|
|
GridFreed
New |
$129.35
|
Please Wait