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.
Suchergebnisse für High Integrity Ada: The Spark Approach
Foto des Verkäufers
High Integrity Ada: The Spark Approach
Anbieter: BoundlessBookstore, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. VG condition book without dust jacket. Boards are clean with little wear. Book has clean and bright contents. Artikel-Nr. 9999-999102391922
Gebraucht kaufen
EUR 10,68
EUR 8,04 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
High Integrity Ada: The Spark Approach
Anbieter: BoundlessBookstore, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. Reprint. Light wear to boards. Content is clean and bright. Previous owner name to ffep. No DJ. Artikel-Nr. 9999-999102247955
Gebraucht kaufen
EUR 11,87
EUR 8,04 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
High Integrity Ada: The Spark Approach
Verlag:
Pearson Education (US), United States, Boston, 1997
ISBN 10: 0201175177
ISBN 13: 9780201175172
Gebraucht
Paperback
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. 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. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Artikel-Nr. GOR003215360
Gebraucht kaufen
EUR 16,73
EUR 6,45 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
High Integrity ADA : The Spark Approach
Verlag:
Pearson Education, Limited, 1997
ISBN 10: 0201175177
ISBN 13: 9780201175172
Gebraucht
Hardcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. 40928341-6
Gebraucht kaufen
EUR 26,47
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar