. .
Deutsch
Deutschland
Ä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
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 68,04 €, größter Preis: 116,16 €, Mittelwert: 88,52 €
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: 20025104198

[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
Agrios-Buch, Bergisch Gladbach, Germany [57449362] [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

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 - neues Buch

ISBN: 9783639000023

ID: cf2641c28c6ac4fd99decb0093988c11

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. Bücher / Naturwissenschaften, Medizin, Informatik & Technik / Informatik & EDV, [PU: VDM Verlag Dr. Müller, Saarbrücken]

Neues Buch Dodax.de
Nr. 57b739c084603a091fabf82c Versandkosten:Versandkosten: 0.0 EUR, Lieferzeit: 7 Tage, DE. (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

2008, ISBN: 9783639000023

ID: 599338723

VDM Verlag Dr. Mueller e.K, 2008-04-23. Paperback. New. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available., VDM Verlag Dr. Mueller e.K, 2008-04-23

gebrauchtes bzw. antiquarisches Buch Biblio.com
ExtremelyReliable
Versandkosten: EUR 17.09
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
Autor:

Gladisch, Christoph

Titel:

Extending KeY for the Verification of C Programs

ISBN-Nummer:

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 03.04.2017 19:49:56
ISBN/EAN: 3639000021

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


< zum Archiv...
Benachbarte Bücher