| NCID | BN10400601 |
| タイトル | 形式的モデルと意味論||ケイシキテキ モデル ト イミロン |
| 出版者 | 東京 : 丸善 , 1994.2 |
| 形態 | 26, 1248p ; 23cm |
| 別書名 | Formal models and semantics
|
| 注記 | 翻訳: 會澤邦夫ほか
各章末: 文献 |
| シリーズ名 | コンピュータ基礎理論ハンドブック ; 2
|
| 分類 | NDC8:007.1
NDC8:007.64
NDC7:418.6
NDLC:M159
NDLC:MA41 |
| 件名 | BSH:電子計算機 -- データ処理
BSH:電子計算機 -- プログラミング
NDLSH:オートマトン
NDLSH:プログラミング(電子計算機)
|
| 著者情報 | Leeuwen, Jan van
広瀬, 健(1935-) (ヒロセ, ケン)
|
| 和洋区分 | 和 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 原作言語 | 英語 |
| 出版国 | 日本 |
| ISBN | 4621039229
|
| 無効/取消ISBN | 4621039202
|
| 番号 | OTHN : JLA:94008383 |