Boekstra.nl - Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret - Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret

Omschrijving

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.

In de winkelwagen 17 werkdagen Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret
Titel: Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Uitgever: now publishers Inc

Jaar: 2015
Taal: Engels
Pagina's: 140
Gewicht: 208 gr

EAN: 9781601988560
Afmetingen: 234 x 156 x 8 mm
Bindwijze: Paperback

U ontvangt bij ons altijd de laatste druk!

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret

Omschrijving

Rubrieken

Rubrieken