Export Mendeley
＜Books＞
ケイシキテキ モデル ト イミロン
形式的モデルと意味論
(コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)
| Material Type | Books |
|---|---|
| Publisher | 東京 : 丸善 |
| Classification | NDC8:007.1 NDC8:007.64 NDC7:418.6 NDLC:M159 NDLC:MA41 |
| Year | 1994.2 |
| Size | 26, 1248p ; 23cm |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | Reserve |
|---|---|---|---|---|---|---|
| 3F |
|
418A||Lee||(2) | 10149235 |
|
Hide details.
| Other titles | original title:Formal models and semantics |
|---|---|
| Notes | 翻訳: 會澤邦夫ほか 各章末: 文献 |
| Authors | Leeuwen, Jan van [編] 広瀬, 健(1935-) [ほか] 監訳 <ヒロセ, ケン> |
| Subjects | BSH:電子計算機 -- データ処理
All Subject Search
BSH:電子計算機 -- プログラミング All Subject Search NDLSH:オートマトン NDLSH:プログラミング(電子計算機) |
| ID | 1000057214 |
| NCID | BN10400601 |