Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Książki - now publishers Inc - 9781601988560 - 15 grudnia 2015
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Otrzymaj e-mail, gdy przedmiot będzie dostępny
Czy masz profil? Zaloguj się
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń 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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 15 grudnia 2015
ISBN13 9781601988560
Wydawcy now publishers Inc
Strony 140
Wymiary 156 × 234 × 8 mm   ·   204 g
Język Angielski  

Zobacz wszystko od Julien Bertrane ( np. Paperback Book )