- 5 Results
Lowest price: € 52.99, highest price: € 90.62, average price: € 69.89
1
Extending KeY for the Verification of C Programs - Gladisch, Christoph
Order
at booklooker.de
€ 52.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Gladisch, Christoph:

Extending KeY for the Verification of C Programs - Paperback

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… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
close (x)
2
Extending KeY for the Verification of C Programs : The Development of a Prototype - Christoph Gladisch
Order
at AbeBooks.de
€ 75.05
Shipment: € 0.001
Order
Provider details
Sponsored link

Christoph Gladisch:

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

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… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
close (x)
3
Extending KeY for the Verification of C Programs: The Development of a Prototype - Gladisch, Christoph
Order
at amazon.de
€ 69.59
Shipment: € 3.001
Order
Provider details
Sponsored link
Gladisch, Christoph:
Extending KeY for the Verification of C Programs: The Development of a Prototype - Paperback

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… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
close (x)
4
Order
at AbeBooks.de
$ 102.16
(aprox. € 90.62)
Shipment: € 33.021
Order
Provider details
Sponsored link
Christoph Gladisch:
Extending KeY for the Verification of C Programs The Development of a Prototype - Paperback

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… More...

NEW BOOK. Shipping costs: EUR 33.02 Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
close (x)
5
Order
at AbeBooks.de
$ 69.01
(aprox. € 61.22)
Shipment: € 19.801
Order
Provider details
Sponsored link
Gladisch, Christoph:
Extending KeY for the Verification of C Programs - Paperback

2008, ISBN: 3639000021

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

NEW BOOK. Shipping costs: EUR 19.80 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)]
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Extending KeY for the Verification of C Programs: The Development of a Prototype
Author:
Title:
ISBN:

9783639000023


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.

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


EAN (ISBN-13): 9783639000023
ISBN (ISBN-10): 3639000021
Paperback
Publishing year: 2008
Publisher: VDM Verlag Dr. Müller
276 Pages
Weight: 0,427 kg
Language: eng/Englisch

Book in our database since 2008-06-06T08:54:15+01:00 (London)
Detail page last modified on 2022-10-11T08:39:46+01:00 (London)
ISBN/EAN: 9783639000023

ISBN - alternate spelling:
3-639-00002-1, 978-3-639-00002-3
Alternate spelling and related search-keywords:
Book author: gladisch
Book title: prototype, program verification

< to archive...