☰

High Integrity Ada: The Spark Approach

$ 298

Availability: Currently in Stock

Delivery: 10-20 working days

High Integrity Ada: The Spark Approach

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.
Country USA
Manufacturer Addison-Wesley
Binding Hardcover
UnitCount 1
UPCs 785342175172
EANs 9780201175172
ReleaseDate 0000-00-00