Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Livros - now publishers Inc - 9781601988560 - 15 de dezembro de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Julien Bertrane

Preço
元 701,72

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 15 de jul
Adicione à sua lista de desejos do iMusic

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

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de dezembro de 2015
ISBN13 9781601988560
Editoras now publishers Inc
Páginas 140
Dimensões 156 × 234 × 8 mm   ·   204 g
Idioma English