| 出版情報 |
東京 : 丸善 , 1994.2 |
| 大きさ |
26, 1248p ; 23cm |
| 別書名 |
原タイトル:Formal models and semantics |
| 一般注記 |
翻訳: 會澤邦夫ほか
各章末: 文献 |
| 著者標目 |
Leeuwen, Jan van [編]
広瀬, 健(1935-) [ほか] 監訳 <ヒロセ, ケン>
|
| 件 名 |
BSH:電子計算機 -- データ処理
全ての件名で検索
BSH:電子計算機 -- プログラミング
全ての件名で検索
NDLSH:オートマトン
NDLSH:プログラミング(電子計算機)
|
| 分 類 |
NDC8:007.1
NDC8:007.64
NDC7:418.6
NDLC:M159
NDLC:MA41
|
| 本文言語 |
日本語 |
| 書誌ID |
TB00082599 |
| ISBN |
4621039229 |
| NCID |
BN10400601
|
| 巻冊次 |
ISBN:4621039229 ; PRICE:35000円 ; XISBN:4621039202
|
