High Integrity ADA The Spark Approach
List Price: $57.99
Publisher: Addison Wesley Professional
Binding: Trade Cloth
Size: 7.50" wide x 9.50" long x 1.00" tall
High Integrity Ada 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. In John Barnes' clear and accessible writing style, this book combines a thorough description of the language with practical advice on how to use the SPARK tools. Illustrated with numerous examples and case studies, this book will teach you how to write more reliable software. The CD-ROM accompanying the book contains the SPARK tools plus additional documentation as well as all major examples of programs from the text.
|Spark Analysis Tools|
|The Type Model|
|Control and Data Flow|
|Packages and Visibility|
|The SPARK Examiner|
|Verification; Program Design|
100% Money Back Guarantee: Wrong item? No problem! Our hassle-free
returns policy has you covered.
We'll also process your order within 1-2 business days. Learn more about our