High Integrity Ada: The Spark Approach
Product Description
Condition - Very Good
The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.
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.
Technical Specifications
You might also like
CheroCar for Jeep Renegade Front Water Cup Holder Trim Interior Accessories Compatible with Jeep Renegade 2016-2023,Light Blue…
Chenrezig, Lord of Love: Principles and Methods of Deity Meditation
Seeing Through Statistics
KJV, The Woman's Study Bible, Hardcover, Red Letter, Full-Color Edition, Comfort Print: Receiving God's Truth for Balance, Hope, and Transformation – Perfect Gift for Mother's Day
The 4-Hour Body: An Uncommon Guide to Rapid Fat-Loss, Incredible Sex, and Becoming Superhuman
The Complete Book of Herbs: A Practical Guide to Growing and Using Herbs
Crossroads of Twilight: Book Ten of 'The Wheel of Time'
And the Mountains Echoed