Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Books - now publishers Inc - 9781601988560 - December 15, 2015
In case cover and title do not match, the title is correct

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

Julien Bertrane

Price
€ 78.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 9 - 22

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released December 15, 2015
ISBN13 9781601988560
Publishers now publishers Inc
Pages 140
Dimensions 156 × 234 × 8 mm   ·   204 g
Language English  

See all of Julien Bertrane ( e.g. Paperback Book )