Articoli correlati a High Integrity Ada: The Spark Approach
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"The reader will enjoy John Barnes' lively guidance through SPARK. With panache he combines rigorous clarity and a great sense of fun."
from the foreword by Bernard Carré
"I've long watched for an approachable discussion of SPARK. This is it. ... The community and SPARK have long deserved to meet each other on such friendly terms."
James Sutton, Lockheed
"This book will be indispensable to the serious SPARK user, since it includes a very accessible definition of the language and provides all the necessary background material on static analysis as performed by the tools."
Phil Thornley, British Aerospace
Product Description
Book by Barnes J
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per High Integrity Ada: The Spark Approach
Foto dell'editore
High Integrity ADA : The Spark Approach
Editore:
Pearson Education, Limited, 1997
ISBN 10: 0201175177
ISBN 13: 9780201175172
Antico o usato
Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 40928341-6
Compra usato
EUR 14,08
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
High Integrity Ada: The Spark Approach
Da: BoundlessBookstore, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Reprint. Light wear to boards. Content is clean and bright. Previous owner name to ffep. No DJ. Codice articolo 9999-999102247955
Compra usato
EUR 12,02
Spedizione EUR 8,14
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
High Integrity Ada: The Spark Approach
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_474720028
Compra usato
EUR 41,14
Spedizione EUR 3,26
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
High Integrity Ada: The Spark Approach
Da: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Codice articolo GWSVV.0201175177.G
Compra usato
EUR 44,71
Spedizione EUR 3,47
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili