ISBN-10:
0201175177
ISBN-13:
9780201175172
Pub. Date:
06/15/1997
Publisher:
Pearson Education
High Integrity Ada: The Spark Approach / Edition 1

High Integrity Ada: The Spark Approach / Edition 1

Hardcover

Current price is , Original price is $57.99. You
Select a Purchase Option (BK&CD-ROM)
  • purchase options

Product Details

ISBN-13: 9780201175172
Publisher: Pearson Education
Publication date: 06/15/1997
Edition description: BK&CD-ROM
Pages: 384
Product dimensions: 6.99(w) x 9.50(h) x 1.05(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews