Program synthesis / Sumit Gulwani, Oleksandr Polozov, Rishabh Singh.
| Author/creator | Gulwani, Sumit author. |
| Other author | Polozov, Oleksandr, author. |
| Other author | Singh, Rishabh, author. |
| Format | Book |
| Publication | Boston : now Publishers Inc., [2017] |
| Description | x, 126 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Foundations and Trends in Programming Languages ; volume 4, issue 1-2, 2017 Foundations and trends in programming languages ; vol. 4, issue 1-2. UNAUTHORIZED |
| Bibliography note | Includes bibliographical references (pages 113-126). |
| ISBN | 1680832921 (paperback) |
| ISBN | 9781680832921 (paperback) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.6 .G85 2017 | ✔ Available | Place Hold |