Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Bøker - now publishers Inc - 9781601988560 - 15. desember 2015
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Julien Bertrane

Pris
NZD 152

Bestillingsvarer

Forventes levert 4. - 15. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 15. desember 2015
ISBN13 9781601988560
Utgivere now publishers Inc
Antall sider 140
Mål 156 × 234 × 8 mm   ·   204 g
Språk Engelsk  

Se alt med Julien Bertrane ( f.eks. Pocketbok )