Normal view MARC view ISBD view

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane

Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Now Foundations and Trends 2017-12-15

ISBN: 9781601988560 9781601988577

Subjects--Topical Terms:
Computing and Processing
Aerospace

Print
Suggest for purchase
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)