Domains and Lambda-Calculi.(Cambridge Tracts in Theoretical Computer Science Vol. 46) hardcover 550 p.
Amadio, R.,
Curien, P.-L.
著
|
在庫状況
海外在庫有り
|
お届け予定日
1ヶ月
|
|
|
価格
\43,107（税込）
|
|
|
|
発行年月 |
1998年07月 |
|---|
| 出版社／提供元 |
Cambridge University Press |
出版国 |
イギリス |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数／巻数 |
504 p., 85 b/w illus. |
|---|
|
|
ジャンル |
洋書／理工学／情報科学／ソフトウェア |
|---|
|
|
ISBN |
9780521622776 |
|---|
|
商品コード |
0209755919 |
|---|
|
|
|
本の性格 |
テキスト |
|---|
|
|
|
| 商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209755919 |
|---|
内容
Graduate text on mathematical foundations of programming languages, andoperational and denotational semantics.
