High Integrity Ada: The Spark Approach - Hardcover

Barnes, John; Praxis Critical Systems

 
9780201175172: High Integrity Ada: The Spark Approach
Hardcover
ISBN 10: 0201175177 ISBN 13: 9780201175172
Verlag: Pearson Education Limited, 1997

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Pearson Education Limited
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
0201175177
ISBN 13 
9780201175172
Einband
Gebundene Ausgabe
Anzahl der Seiten
384
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
GS1 Slovakia
https://www.gs1sk.org

Nantersk� 23
Žilina
010 08
Slowakei