Gesamtpreis (1 Artikel Artikel):
Versandziel:
validation verification formal specifications von thomson steven (30 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (30)
- 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 (3)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- 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 (3)
- Keine Print-on-Demand Angebote (17)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 23,03
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 30,43
Währung umrechnenEUR 2,27 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 32,78
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 34,86
Währung umrechnenEUR 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.
-
EUR 47,68
Währung umrechnenEUR 3,43 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
EUR 49,52
Währung umrechnenEUR 3,43 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 49,56
Währung umrechnenEUR 3,43 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 38,32
Währung umrechnenEUR 17,17 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 41,72
Währung umrechnenEUR 17,17 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.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 52,29
Währung umrechnenEUR 13,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 64,70
Währung umrechnenEUR 3,43 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 212.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering (Paperback)
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,75
Währung umrechnenEUR 42,35 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 50,44
Währung umrechnenEUR 17,73 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Verlag: Creative Media Partners, LLC Mai 2025, 2025
ISBN 10: 1025099648 ISBN 13: 9781025099644
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 30,36
Währung umrechnenEUR 61,50 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware - The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Verlag: Books on Demand|BiblioScholar, 2012
ISBN 10: 1249834279 ISBN 13: 9781249834274
Sprache: Englisch
EUR 61,74
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 100,22
Währung umrechnenEUR 28,62 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Verlag: Creative Media Partners, LLC Okt 2012, 2012
ISBN 10: 1249834279 ISBN 13: 9781249834274
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 74,86
Währung umrechnenEUR 62,05 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware - The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Verlag: Creative Media Partners, LLC, 2025
ISBN 10: 1025099648 ISBN 13: 9781025099644
Sprache: Englisch
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 25,35
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Verlag: Creative Media Partners, LLC, 2025
ISBN 10: 1025099648 ISBN 13: 9781025099644
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 22,65
Währung umrechnenEUR 4,76 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Verlag: Creative Media Partners, LLC, 2025
ISBN 10: 1025095960 ISBN 13: 9781025095967
Sprache: Englisch
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 37,27
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Verlag: Creative Media Partners, LLC, 2025
ISBN 10: 1025095960 ISBN 13: 9781025095967
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 33,43
Währung umrechnenEUR 4,76 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,54
Währung umrechnenEUR 7,44 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 49,08
Währung umrechnenEUR 7,44 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
-
Validation and Verification of Formal Specifications in ObjectOriented Software Engineering
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 58,25
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Validation and Verification of Formal Specifications in ObjectOriented Software Engineering
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,79
Währung umrechnenEUR 4,76 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 49,23
Währung umrechnenEUR 9,95 für den Versand von Deutschland nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 50,75
Währung umrechnenEUR 9,95 für den Versand von Deutschland nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 67,21
Währung umrechnenEUR 7,44 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 212.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,58
Währung umrechnenEUR 17,07 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 416.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 69,24
Währung umrechnenEUR 9,95 für den Versand von Deutschland nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND pp. 212.
