形式的モデルと意味論
ケイシキテキ モデル ト イミロン
(コンピュータ基礎理論ハンドブック / Jan van Leeuwen[編] ; 広瀬健[ほか]監訳 ; 2)
| データ種別 | 図書 |
|---|---|
| 出版情報 | 東京 : 丸善 , 1994.2 |
| 別書名 | 原タイトル:Formal models and semantics |
| 大きさ | 26, 1248p ; 23cm |
| 一般注記 | 各章末: 文献 |
| 件 名 | BSH:電子計算機-データ処理 BSH:電子計算機-プログラミング |
| 分 類 | NDC8:007.1 NDC7:418.6 |
| 本文言語 | 日本語 |
| 書誌ID | 1000219864 |
| ISBN | 4621039229 |
所蔵情報
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 請求票 | 予約/取寄 | ポップ/選書/推薦図書 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|
| 地階C(一般図書・和書) |
|
007.1/K4/(2) | 1103519 |
|
4621039229 |
|
|
|
予約/取寄 |