Tutorial on static inference of numeric invariants by abstract interpretation / Antoine Miné.
| Author/creator | Miné, Antoine author. |
| Format | Book |
| Publication | Boston : now Publishers Inc., [2017] |
| Description | x, 257 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Foundations and Trends in Programming Languages ; volume 4, issue 3-4, 2017 Foundations and trends in programming languages ; vol. 4, issue 3-4. UNAUTHORIZED |
| Bibliography note | Includes bibliographical references (pages 247-257). |
| ISBN | 1680833863 (paperback) |
| ISBN | 9781680833867 (paperback) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.7 .M56 2017 | ✔ Available | Place Hold |