- 5 Risultati
prezzo più basso: € 52,99, prezzo più alto: € 90,62, prezzo medio: € 69,89
1
Extending KeY for the Verification of C Programs - Gladisch, Christoph
Ordina
da booklooker.de
€ 52,99
Spedizione: € 0,001
OrdinaLink sponsorizzato
Gladisch, Christoph:

Extending KeY for the Verification of C Programs - edizione con copertina flessibile

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

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
Extending KeY for the Verification of C Programs : The Development of a Prototype - Christoph Gladisch
Ordina
da AbeBooks.de
€ 75,05
Spedizione: € 0,001
OrdinaLink sponsorizzato

Christoph Gladisch:

Extending KeY for the Verification of C Programs : The Development of a Prototype - edizione con copertina flessibile

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

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
3
Extending KeY for the Verification of C Programs: The Development of a Prototype - Gladisch, Christoph
Ordina
da amazon.de
€ 69,59
Spedizione: € 3,001
OrdinaLink sponsorizzato
Gladisch, Christoph:
Extending KeY for the Verification of C Programs: The Development of a Prototype - edizione con copertina flessibile

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

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
4
Ordina
da AbeBooks.de
$ 102,16
(indicativi € 90,62)
Spedizione: € 33,021
OrdinaLink sponsorizzato
Christoph Gladisch:
Extending KeY for the Verification of C Programs The Development of a Prototype - edizione con copertina flessibile

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

NEW BOOK. Costi di spedizione: EUR 33.02 Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
5
Ordina
da AbeBooks.de
$ 69,01
(indicativi € 61,22)
Spedizione: € 19,801
OrdinaLink sponsorizzato
Gladisch, Christoph:
Extending KeY for the Verification of C Programs - edizione con copertina flessibile

2008, ISBN: 3639000021

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

NEW BOOK. Costi di spedizione: EUR 19.80 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)]

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Extending KeY for the Verification of C Programs: The Development of a Prototype

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.

Informazioni dettagliate del libro - Extending KeY for the Verification of C Programs: The Development of a Prototype


EAN (ISBN-13): 9783639000023
ISBN (ISBN-10): 3639000021
Copertina flessibile
Anno di pubblicazione: 2008
Editore: VDM Verlag Dr. Müller
276 Pagine
Peso: 0,427 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2008-06-06T09:54:15+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2022-10-11T09:39:46+02:00 (Rome)
ISBN/EAN: 3639000021

ISBN - Stili di scrittura alternativi:
3-639-00002-1, 978-3-639-00002-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : gladisch
Titolo del libro: prototype, program verification


< Per archiviare...