Gesamtpreis (1 Artikel Artikel):
Versandziel:
building high integrity applications von mccormick john (37 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (37)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (27)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (6)
- Gut oder Befriedigend (4)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (17)
- Keine Print-on-Demand Angebote (26)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: Zoom Books Company, Lynden, WA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
paperback. 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!
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: Bay State Book Company, North Smithfield, RI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 17,95
EUR 6,57 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Zustand: new.
-
Building High Integrity Applications With Spark
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 62,42
EUR 2,27 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 61,24
EUR 3,43 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Zustand: New. SUPER FAST SHIPPING.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 64,39
EUR 13,58 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press 2015-09-03, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 63,17
EUR 17,56 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Building High Integrity Applications With Spark
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 64,38
EUR 17,01 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press CUP, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Zustand: New. pp. 516.
-
Building High Integrity Applications With Spark
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 92,16
EUR 14,17 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 379 pages. 9.00x6.25x0.75 inches. In Stock.
-
Building High Integrity Applications With Spark
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 98,09
EUR 17,01 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 88,76
EUR 28,35 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Building High Integrity Applications With Spark
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 118,13
EUR 2,27 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107040736 ISBN 13: 9781107040731
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 155,19
EUR 13,58 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Building High Integrity Applications With Spark
Verlag: Cambridge University Press, 2015
ISBN 10: 1107040736 ISBN 13: 9781107040731
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 155,18
EUR 17,01 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Building High Integrity Applications With Spark
Verlag: Cambridge University Press, 2015
ISBN 10: 1107040736 ISBN 13: 9781107040731
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 170,57
EUR 2,27 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Building High Integrity Applications With Spark
Verlag: Cambridge University Press, 2015
ISBN 10: 1107040736 ISBN 13: 9781107040731
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 195,03
EUR 17,01 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107040736 ISBN 13: 9781107040731
Sprache: Englisch
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 185,70
EUR 28,35 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
-
Building High Integrity Applications With Spark
Verlag: Cambridge University Press, 2015
ISBN 10: 1107040736 ISBN 13: 9781107040731
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 217,86
EUR 2,27 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107040736 ISBN 13: 9781107040731
Sprache: Englisch
Zustand: New. pp. 516.
-
Building High Integrity Applications With Spark
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 214,69
EUR 14,17 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 382 pages. 9.50x6.50x1.00 inches. In Stock.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107040736 ISBN 13: 9781107040731
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.
-
Building High Integrity Applications With Spark
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,43
EUR 14,17 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 379 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 92,48
EUR 7,37 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 516.
-
Building High Integrity Applications with SPARK
Verlag: Cambridge University Press, 2015
ISBN 10: 1107656842 ISBN 13: 9781107656840
Sprache: Englisch
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 516.
-
EUR 71,14
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow st.
