Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Libros - now publishers Inc - 9781601988560 - 15 de diciembre de 2015
En caso de que portada y título no coincidan, el título será el correcto

Julien Bertrane
Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages

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

It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This book presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification.

140 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 15 de diciembre de 2015
ISBN13 9781601988560
Editores now publishers Inc
Páginas 140
Dimensiones 156 × 234 × 8 mm   ·   204 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Julien Bertrane ( Ej. Paperback Book )