. .
Deutsch
Deutschland
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: 79.00 EUR, größter Preis: 116.16 EUR, Mittelwert: 91.77 EUR
Extending KeY for the Verification of C Programs: The Development of a Prototype - Christoph Gladisch
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Gladisch:

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

ISBN: 3639000021

Taschenbuch, [EAN: 9783639000023], Vdm Verlag Dr. Müller, Englisch, Englisch, Englisch, Vdm Verlag Dr. Müller, Book, Vdm Verlag Dr. Müller, Vdm Verlag Dr. Müller, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Englische & weitere fremdsprachige Bücher, 208623031, Taschenbuch, 208621031, Format (binding_browse-bin), 366250011, Refinements, 52044011, Englische & weitere fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
---SuperBookDeals--- [Rating: 4.3]
Gebraucht, Neuwertig, 100% Geld zurueck Garantie. Brand neu, in einwandfreiem Zustand. Schneller Versand, erlauben sie bitte 4 bis 14 Tage fuer Lieferung. Ueber 1,000,000 zufriedene Kunden. Wir bieten Kundenbetreuung in Deutsch. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (EUR 3.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: The Development of a Prototype - Christoph Gladisch
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Christoph Gladisch:

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

ISBN: 3639000021, Neuware, alle Preise inkl. gesetzlicher USt. - Freundlicher und effizienter Kundendienst an 6 Tagen die Woche. Jeden Monat ueber 15000 zufriedene Kunden.Besorgungstitel - vorauss. Lieferzeit 3-5 Tage. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (EUR 3.00)

Taschenbuch, [EAN: 9783639000023], Vdm Verlag Dr. Müller, Englisch, Englisch, Englisch, Vdm Verlag Dr. Müller, Book, Vdm Verlag Dr. Müller, Vdm Verlag Dr. Müller, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Englische & weitere fremdsprachige Bücher, 208623031, Taschenbuch, 208621031, Format (binding_browse-bin), 366250011, Refinements, 52044011, Englische & weitere fremdsprachige Bücher

Neues Buch Amazon.de (Intern...
aha-buch [Rating: 4.8]
Neuware, alle Preise inkl. gesetzlicher USt. - Freundlicher und effizienter Kundendienst an 6 Tagen die Woche. Jeden Monat ueber 15000 zufriedene Kunden.Besorgungstitel - vorauss. Lieferzeit 3-5 Tage. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (EUR 3.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: The Development of a Prototype - Christoph Gladisch
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Gladisch:
Extending KeY for the Verification of C Programs: The Development of a Prototype - Taschenbuch

2008

ISBN: 3639000021

Taschenbuch, [EAN: 9783639000023], VDM Verlag Dr. Müller, VDM Verlag Dr. Müller, Book, [PU: VDM Verlag Dr. Müller], 2008-04-23, VDM Verlag Dr. Müller, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher

Neues Buch Amazon.de (Intern...
Amazon.de
Neuware Versandkosten:Versandkostenfrei innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (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.
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

Paperback, [PU: VDM Verlag], Computer Vision

Neues Buch Bookdepository.com
Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
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:

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


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 30.04.2015 22:27:19
ISBN/EAN: 3639000021

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher