Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030643539 - 9 de diciembre de 2020
En caso de que portada y título no coincidan, el título será el correcto

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY - Lecture Notes in Computer Science 1st ed. 2020 edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.

339 pages, 39 Illustrations, color; 54 Illustrations, black and white; XII, 339 p. 93 illus., 39 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de diciembre de 2020
ISBN13 9783030643539
Editores Springer Nature Switzerland AG
Páginas 339
Dimensiones 150 × 220 × 10 mm   ·   539 g
Lengua Alemán  
Editor Ahrendt, Wolfgang
Editor Beckert, Bernhard
Editor Bubel, Richard
Editor Hahnle, Reiner
Editor Ulbrich, Mattias

Más del mismo editor