Verwandte Artikel zu High Integrity Ada: The Spark Approach
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
Zustand: Good. Reprint. Light wear to boards. Content is clean and bright. Previous owner name to ffep. No DJ. Bestandsnummer des Verkäufers 9999-999102247955
Gebraucht kaufen
EUR 9,64
EUR 8,17 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
Anbieter: Goodwill of Silicon Valley, SAN JOSE, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers GWSVV.0201175177.G
Gebraucht kaufen
EUR 44,00
EUR 3,45 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
High Integrity Ada: The Spark Approach
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: 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! Bestandsnummer des Verkäufers S_474720028
Gebraucht kaufen
EUR 48,23
EUR 3,24 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar