<p>An introduction to the SPARK programming tools and its associated tools. Combines a thorough description of the language with practical advice on how to use SPARK tools. The three parts cover: An overview, The SPARK language, and The SPARK tools. Includes case studies. CD ROM included.</p>

High Integrity Ada: The Spark Approach

Computers & Technology

Praxis Critical Systems

Barnes,John

Programming Languages

Addison-Wesley

See the best price to sell, buy, or rent books by Praxis Critical Systems. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Praxis Critical Systems

See the best price to sell, buy, or rent books by Praxis Critical Systems. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

High Integrity Ada: The Spark Approach