Contacto
Como comprar
Entrega
Guia de compras
Deductive Software Verification - The KeY Book
From Theory to Practice
Inglês
267 b
Política de devolução de 30 dias
Os clientes também compraram
/
CD de áudio
7.48
€
/
Capa mole
16.50
€
/
Capa mole
13.26
€
/
Capa mole
17.11
€
/
Capa mole
70.89
€
/
Capa mole
28.05
€
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It suffices to say that the KeY project, the subject of this book, is possibly the most ambitious endeavour in this area. It has started in 1998 and gradually evolved into, what the authors call, the KeY framework. This framework goes beyond mechanized verification by also providing a means of program specification, a test case generation, a teaching tool for a number of courses on Software Engineering, and a debugging tool. The current book is a substantial revision and extension of the previous edition that takes into account this evolution of the KeY system. It systematically explains several facets of the KeY framework, starting with the theoretical underpinning and ending with a presentation of nontrivial case studies.
Sobre o livro
Inglês
Categorias
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
23.89
€
/
Capa mole
55.39
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?