High Integrity ADA The Spark Approach

Name: High Integrity ADA The Spark Approach
Price: 122.23 USD
Availability: InStock
ISBN: 9780201175172

ISBN-10: 0201175177

ISBN-13: 9780201175172

Edition: 1997

Authors: John Barnes

List price: $57.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $122.23

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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.

Book details

List price: $57.99
Copyright year: 1997
Publisher: Addison Wesley Professional
Publication date: 6/15/1997
Binding: Hardcover
Pages: 384
Size: 7.50" wide x 9.50" long x 1.00" tall
Weight: 1.628
Language: English



Introduction


Language Principles


Spark Analysis Tools


Spark Structure


The Type Model


Control and Data Flow


Packages and Visibility


Interfacing


The SPARK Examiner


Flow Analysis


Verification; Program Design


Case Studies