コンピュータ基礎理論ハンドブック<2> 形式的モデルと意味論
発行年月 |
1994年02月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
1248p |
---|
大きさ |
23 |
---|
|
ジャンル |
和書/理工学/情報学/情報処理 |
---|
|
|
ISBN |
9784621039229 |
---|
|
商品コード |
0194007451 |
---|
NDC分類 |
007.6 |
---|
基本件名 |
コンピュータ |
---|
|
|
|
|
|
商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0194007451 |
---|
内容
J.van Leeuwenの“理論的計算機科学ハンドブック”の全訳。理論的計算機科学のほとんど全域に及び、現在のホットな話題は全て網羅。本分冊はオートマトンと書き換え系の理論、新しいプログラミング言語の基礎づけ他。