edited by Marino Miculan, Ivan Scagnetto, Furio Honsell
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
電子ブック| No. | 刷年 | 所在 | 請求記号 | 資料ID | 貸出区分 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
|
|
|
|
2008
機械可読データファイル -- リモートファイル (wr)
: v.: digital
英語 (eng)
英語 (eng)
Logics and Meanings of Programs
Symbolic and Algebraic Manipulation
Mathematical Logic and Formal Languages
9783540681038 (: electronic bk)
