- 5 Resultados
precio mínimo: € 52,99, precio máximo: € 90,62, precio promedio: € 69,89
1
Extending KeY for the Verification of C Programs - Gladisch, Christoph
Pedir
por booklooker.de
€ 52,99
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Gladisch, Christoph:

Extending KeY for the Verification of C Programs - Pasta blanda

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… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
cerrar (X)
2
Extending KeY for the Verification of C Programs : The Development of a Prototype - Christoph Gladisch
Pedir
por AbeBooks.de
€ 75,05
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Christoph Gladisch:

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

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… Más…

NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
cerrar (X)
3
Extending KeY for the Verification of C Programs: The Development of a Prototype - Gladisch, Christoph
Pedir
por amazon.de
€ 69,59
Envío: € 3,001
Pedir
Detalles del proveedor
Enlace patrocinado
Gladisch, Christoph:
Extending KeY for the Verification of C Programs: The Development of a Prototype - Pasta blanda

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… Más…

Gastos de envío:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
cerrar (X)
4
Pedir
por AbeBooks.de
$ 102,16
(aprox. € 90,62)
Envío: € 33,021
Pedir
Detalles del proveedor
Enlace patrocinado
Christoph Gladisch:
Extending KeY for the Verification of C Programs The Development of a Prototype - Pasta blanda

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… Más…

NEW BOOK. Gastos de envío: EUR 33.02 Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
cerrar (X)
5
Pedir
por AbeBooks.de
$ 69,01
(aprox. € 61,22)
Envío: € 19,801
Pedir
Detalles del proveedor
Enlace patrocinado
Gladisch, Christoph:
Extending KeY for the Verification of C Programs - Pasta blanda

2008, ISBN: 3639000021

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

NEW BOOK. Gastos de envío: EUR 19.80 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)]
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Extending KeY for the Verification of C Programs: The Development of a Prototype
Autor:
Título:
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.

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


EAN (ISBN-13): 9783639000023
ISBN (ISBN-10): 3639000021
Tapa blanda
Año de publicación: 2008
Editorial: VDM Verlag Dr. Müller
276 Páginas
Peso: 0,427 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2008-06-06T09:54:15+02:00 (Madrid)
Página de detalles modificada por última vez el 2022-10-11T09:39:46+02:00 (Madrid)
ISBN/EAN: 3639000021

ISBN - escritura alterna:
3-639-00002-1, 978-3-639-00002-3
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: gladisch
Título del libro: prototype, program verification

< para archivar...