Contacto
Cómo comprar
Entrega
Guía de compras
Deductive Software Verification - The KeY Book
From Theory to Practice
Inglés
331 b
Política de devolución de 30 días
Clientes que también han comprado
/
CD de audio
8.89
€
/
Tapa blanda
19.99
€
/
Tapa blanda
16.09
€
/
Tapa blanda
20.89
€
/
Tapa blanda
87.09
€
/
Tapa blanda
32.89
€
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 el libro
Inglés
Categorías
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
65.89
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?