
Conte aos seus amigos sobre este item:
Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages
Julien Bertrane
Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages
Julien Bertrane
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 |
Ver tudo de Julien Bertrane ( por exemplo Paperback Book )