. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3639000021 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 54,28 €, größter Preis: 100,39 €, Mittelwert: 76,66 €
Extending Key for the Verification of C Programs (Paperback) - Christoph Gladisch
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Gladisch:
Extending Key for the Verification of C Programs (Paperback) - Taschenbuch

2013, ISBN: 3639000021

ID: 14610258860

[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Mueller e.K., Germany], Computers & the Internet|Computer Science, Language: English . Brand New Book ***** Print on Demand *****.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 Hhnle (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.

Neues Buch Abebooks.de
The Book Depository EURO, London, United Kingdom [60485773] [Rating: 4 (von 5)]
NEW BOOK Versandkosten: EUR 3.53
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Extending KeY for the Verification of C Programs - Christoph Gladisch
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Gladisch:
Extending KeY for the Verification of C Programs - Taschenbuch

2013, ISBN: 3639000021

ID: 20025086366

[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Müller E.K. Okt 2013], Computers & the Internet|Computer Science, Neuware - 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. 276 pp. Englisch

Neues Buch Abebooks.de
Rheinberg-Buch, Bergisch Gladbach, Germany [53870650] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Extending Key For The Verification Of C Programs - Christoph Gladisch
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Gladisch:
Extending Key For The Verification Of C Programs - Taschenbuch

ISBN: 9783639000023

ID: 9783639000023-N

Extending Key For The Verification Of C Programs Extending-Key-For-The-Verification-Of-C-Programs~~Christoph-Gladisch Technology Programming>Xxxsoftware Engr>* Desc Unknown Paperback, VDM Verlag Dr. Mueller Akt.ges.&Co.KG

Neues Buch Barnesandnoble.com
Phatpocket Limited
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Extending Key for the Verification of C Programs - Christoph Gladisch
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Gladisch:
Extending Key for the Verification of C Programs - Taschenbuch

4, ISBN: 9783639000023

ID: 13019828744

Softcover, PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK., [PU: VDM Verlag Dr. Mueller E. K]

Neues Buch Alibris.com
Paperbackshop International
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Extending KeY for the Verification of C Programs: The Development of a Prototype - Gladisch, Christoph
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Gladisch, Christoph:
Extending KeY for the Verification of C Programs: The Development of a Prototype - neues Buch

ISBN: 3639000021

ID: 17935415366

[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. M�ller], Computers & the Internet|Computer Science, New. Book is new and unread but may have minor shelf wear.

Neues Buch Abebooks.de
Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom [8420744] [Rating: 5 (von 5)]
NEW BOOK Versandkosten: EUR 885.76
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Extending KeY for the Verification of C Programs

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


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

Buch in der Datenbank seit 06.06.2008 09:54:15
Buch zuletzt gefunden am 06.10.2017 19:04:43
ISBN/EAN: 3639000021

ISBN - alternative Schreibweisen:
3-639-00002-1, 978-3-639-00002-3


< zum Archiv...
Benachbarte Bücher