- 5 Résultats
prix le plus bas: € 52,99, prix le plus élevé: € 90,62, prix moyen: € 69,89
1
Extending KeY for the Verification of C Programs - Gladisch, Christoph
Commander
sur booklooker.de
€ 52,99
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Gladisch, Christoph:

Extending KeY for the Verification of C Programs - Livres de poche

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… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
fermer(X)
2
Extending KeY for the Verification of C Programs : The Development of a Prototype - Christoph Gladisch
Commander
sur AbeBooks.de
€ 75,05
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Christoph Gladisch:

Extending KeY for the Verification of C Programs : The Development of a Prototype - Livres de poche

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… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
3
Extending KeY for the Verification of C Programs: The Development of a Prototype - Gladisch, Christoph
Commander
sur amazon.de
€ 69,59
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Gladisch, Christoph:
Extending KeY for the Verification of C Programs: The Development of a Prototype - Livres de poche

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… Plus…

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fermer(X)
4
Commander
sur AbeBooks.de
$ 102,16
(environ € 90,62)
Envoi: € 33,021
Commander
Détails du fournisseur
Lien sponsorisé
Christoph Gladisch:
Extending KeY for the Verification of C Programs The Development of a Prototype - Livres de poche

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… Plus…

NEW BOOK. Frais d'envoi EUR 33.02 Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
fermer(X)
5
Commander
sur AbeBooks.de
$ 69,01
(environ € 61,22)
Envoi: € 19,801
Commander
Détails du fournisseur
Lien sponsorisé
Gladisch, Christoph:
Extending KeY for the Verification of C Programs - Livres de poche

2008, ISBN: 3639000021

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

NEW BOOK. Frais d'envoi EUR 19.80 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)]
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Extending KeY for the Verification of C Programs: The Development of a Prototype
Auteur:
Titre:
ISBN:

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.

Informations détaillées sur le livre - Extending KeY for the Verification of C Programs: The Development of a Prototype


EAN (ISBN-13): 9783639000023
ISBN (ISBN-10): 3639000021
Livre de poche
Date de parution: 2008
Editeur: VDM Verlag Dr. Müller
276 Pages
Poids: 0,427 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2008-06-06T09:54:15+02:00 (Zurich)
Page de détail modifiée en dernier sur 2022-10-11T09:39:46+02:00 (Zurich)
ISBN/EAN: 3639000021

ISBN - Autres types d'écriture:
3-639-00002-1, 978-3-639-00002-3
Autres types d'écriture et termes associés:
Auteur du livre: gladisch
Titre du livre: prototype, program verification

< pour archiver...