- 5 resultados
menor preço: € 52,99, preço mais alto: € 90,62, preço médio: € 69,89
1
Extending KeY for the Verification of C Programs - Gladisch, Christoph
Encomendar
no/na booklooker.de
€ 52,99
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Gladisch, Christoph:

Extending KeY for the Verification of C Programs - Livro de bolso

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

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
fechar(X)
2
Extending KeY for the Verification of C Programs : The Development of a Prototype - Christoph Gladisch
Encomendar
no/na AbeBooks.de
€ 75,05
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado

Christoph Gladisch:

Extending KeY for the Verification of C Programs : The Development of a Prototype - Livro de bolso

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

NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fechar(X)
3
Extending KeY for the Verification of C Programs: The Development of a Prototype - Gladisch, Christoph
Encomendar
no/na amazon.de
€ 69,59
Envio: € 3,001
Encomendar
Detalhes fornecedor
Link patrocinado
Gladisch, Christoph:
Extending KeY for the Verification of C Programs: The Development of a Prototype - Livro de bolso

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

Custos de envio:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fechar(X)
4
Encomendar
no/na AbeBooks.de
$ 102,16
(aproximadamente € 90,62)
Envio: € 33,021
Encomendar
Detalhes fornecedor
Link patrocinado
Christoph Gladisch:
Extending KeY for the Verification of C Programs The Development of a Prototype - Livro de bolso

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

NEW BOOK. Custos de envio: EUR 33.02 Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
fechar(X)
5
Encomendar
no/na AbeBooks.de
$ 69,01
(aproximadamente € 61,22)
Envio: € 19,801
Encomendar
Detalhes fornecedor
Link patrocinado
Gladisch, Christoph:
Extending KeY for the Verification of C Programs - Livro de bolso

2008, ISBN: 3639000021

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

NEW BOOK. Custos de envio: EUR 19.80 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)]
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Extending KeY for the Verification of C Programs: The Development of a Prototype
Autor:
Título:
Número 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.

Dados detalhados do livro - Extending KeY for the Verification of C Programs: The Development of a Prototype


EAN (ISBN-13): 9783639000023
ISBN (ISBN-10): 3639000021
Livro de bolso
Ano de publicação: 2008
Editor/Editora: VDM Verlag Dr. Müller
276 Páginas
Peso: 0,427 kg
Língua: eng/Englisch

Livro na base de dados desde 2008-06-06T08:54:15+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2022-10-11T08:39:46+01:00 (Lisbon)
Número ISBN/EAN: 3639000021

Número ISBN - Ortografia alternativa:
3-639-00002-1, 978-3-639-00002-3
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: gladisch
Título do livro: prototype, program verification

< Para arquivar...