Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Bøger - now publishers Inc - 9781601988560 - 15. december 2015
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Julien Bertrane

Pris
Fr. 93,99

Bestilles fra fjernlager

Forventes klar til forsendelse 26. jun. - 3. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 15. december 2015
ISBN13 9781601988560
Forlag now publishers Inc
Antal sider 140
Mål 156 × 234 × 8 mm   ·   204 g
Sprog Engelsk  

Se alt med Julien Bertrane ( f.eks. Paperback Bog )