Skip to content
Scan a barcode
Scan
Paperback Static Analysis and Verification of Aerospace Software by Abstract Interpretation Book

ISBN: 1601988567

ISBN13: 9781601988560

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This monograph presents abstract interpretation and shows how its... This description may be from another edition of this product.

Recommended

Format: Paperback

Temporarily Unavailable

We receive fewer than 1 copy every 6 months.

Customer Reviews

0 rating
Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured