High Integrity Ada the Spark Approach
- List Price: $57.99
- 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
Please Wait