Vertel uw vrienden over dit artikel:
Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages
Julien Bertrane
Prijs
zł 364,90
Besteld in een afgelegen magazijn
Verwachte levering 11 - 20 aug.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 15 december 2015 |
| ISBN13 | 9781601988560 |
| Uitgevers | now publishers Inc |
| Pagina's | 140 |
| Afmetingen | 156 × 234 × 8 mm · 204 g |
| Taal en grammatica | Engels |
Bekijk alles van Julien Bertrane ( bijv. Paperback Book )