Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Kirjat - now publishers Inc - 9781601988560 - tiistai 15. joulukuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Julien Bertrane

Hinta
Ft 35.298

Tilattu etävarastosta

Arvioitu toimitus to - ma 3. - 14. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 15. joulukuuta 2015
ISBN13 9781601988560
Tuottaja now publishers Inc
Sivujen määrä 140
Mitta 156 × 234 × 8 mm   ·   204 g
Kieli English  

Katso kaikki joka sisältää Julien Bertrane ( Esim. Paperback Book )