- 5 Ergebnisse
Kleinster Preis: € 52,99, größter Preis: € 90,62, Mittelwert: € 69,89
1
Extending KeY for the Verification of C Programs - Gladisch, Christoph
Bestellen
bei booklooker.de
€ 52,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Gladisch, Christoph:

Extending KeY for the Verification of C Programs - Taschenbuch

2008, ISBN: 9783639000023

[ED: Softcover], [PU: VDM Verlag Dr. Müller / VDM Verlag Dr. Müller e.K.], Software verification is the study of formally proving the correctness of a program with respect to a given spec… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
zuklappen (X)
2
Extending KeY for the Verification of C Programs : The Development of a Prototype - Christoph Gladisch
Bestellen
bei AbeBooks.de
€ 75,05
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Christoph Gladisch:

Extending KeY for the Verification of C Programs : The Development of a Prototype - Taschenbuch

2008, ISBN: 3639000021

[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Müller E.K. VDM Verlag Dr. Müller], nach der Bestellung gedruckt Neuware -Software verification is the study of formally proving the cor… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
3
Extending KeY for the Verification of C Programs: The Development of a Prototype - Gladisch, Christoph
Bestellen
bei amazon.de
€ 69,59
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Gladisch, Christoph:
Extending KeY for the Verification of C Programs: The Development of a Prototype - Taschenbuch

2008

ISBN: 9783639000023

VDM Verlag Dr. Müller, Taschenbuch, 276 Seiten, Publiziert: 2008-04-23T00:00:01Z, Produktgruppe: Buch, 0.82 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büche… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
4
Bestellen
bei AbeBooks.de
$ 102,16
(ca. € 90,62)
Versand: € 33,021
Bestellen
Details beim Anbieter
gesponserter Link
Christoph Gladisch:
Extending KeY for the Verification of C Programs The Development of a Prototype - Taschenbuch

2008, ISBN: 3639000021

[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Müller], New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 20… Mehr…

NEW BOOK. Versandkosten: EUR 33.02 Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
zuklappen (X)
5
Bestellen
bei AbeBooks.de
$ 69,01
(ca. € 61,22)
Versand: € 19,801
Bestellen
Details beim Anbieter
gesponserter Link
Gladisch, Christoph:
Extending KeY for the Verification of C Programs - Taschenbuch

2008, ISBN: 3639000021

[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Mueller e.K. 2008-04], Books

NEW BOOK. Versandkosten: EUR 19.80 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)]
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Extending KeY for the Verification of C Programs: The Development of a Prototype
Autor:
Titel:
ISBN-Nummer:

3639000021


Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing research topic. The state of the art is that given a sufficiently rich specification an object-oriented program can be in most cases automatically verified using verification systems like the KeY-System. The KeY-System is a software verification and testing system for Java that is developed by the research groups of Prof. Dr. Bernhard Beckert (Univ. of Koblenz-Landau, Germany), Prof. Dr. Reiner Hähnle (Chalmers Univ. of Tech., Sweden), and Prof. Dr. Schmitt (University of Karlsruhe, Germany). This book describes the theory and the implementation of the KeY-System and the development of a prototypical version of the KeY-System for the verification of C programs. In particular the C dialects ANSI C, MISRA C, and C0 are regarded.

Detailangaben zum Buch - Extending KeY for the Verification of C Programs: The Development of a Prototype


EAN (ISBN-13): 9783639000023
ISBN (ISBN-10): 3639000021
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: VDM Verlag Dr. Müller
276 Seiten
Gewicht: 0,427 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-06-06T09:54:15+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-10-11T09:39:46+02:00 (Berlin)
ISBN/EAN: 3639000021

ISBN - alternative Schreibweisen:
3-639-00002-1, 978-3-639-00002-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gladisch
Titel des Buches: prototype, program verification

< zum Archiv...