High Integrity Ada: The Spark Approach
Description:
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.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.