Normal view MARC view ISBD view

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Miné

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation - Now Foundations and Trends 2018-02-15

ISBN: 9781680833867 9781680833874

Subjects--Topical Terms:
Computing and Processing

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)