Adam Chlipala
Cambridge, Mass. : The MIT Press, c2013
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.64-C51
|
10013024326 |
一般図書 |
|
|
|
|
2013
xii, 424 p. ; 24 cm
Includes bibliographical references (p. [413]-417) and index
アメリカ合衆国
英語 (eng)
英語 (eng)
LCC:QA76.9.A96
DC23:005.1
9780262026659
BB14723266
LCCN : 2013012837
