<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 |