分享给好友:
Program Proofs K. Rustan M. Leino
Program Proofs
K. Rustan M. Leino
496 pages, 20 line drawings, 30 figures
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2023年3月7日 |
| ISBN13 | 9780262546232 |
| 出版商 | MIT Press Ltd |
| 页数 | 496 |
| 商品尺寸 | 181 × 228 × 26 mm · 778 g |
分享给好友:
496 pages, 20 line drawings, 30 figures
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2023年3月7日 |
| ISBN13 | 9780262546232 |
| 出版商 | MIT Press Ltd |
| 页数 | 496 |
| 商品尺寸 | 181 × 228 × 26 mm · 778 g |
![Cover for William Thomson · A Guide for the Young Economist (Paperback Book) [3 Revised edition] (2026)](https://imusic.com.cn/local-image/images/item/original/309/9780262051309.jpg?william-thomson-2026-a-guide-for-the-young-economist-paperback-book&class=scaled&v=1773684682)
