OPAC

ケイシキテキモデルトイミロン
形式的モデルと意味論
(コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健 [ほか] 監訳 ; 2)

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫4階	007.64:L517:v.2		4621039229	001505324				予約・取寄		仮想書架	予約・取寄		仮想書架

別書名	原タイトル:Formal models and semantics
一般注記	各章末: 文献
著者標目	Leeuwen, Jan van 広瀬, 健(1935-) <ヒロセ, ケン>
件　名	BSH:電子計算機 -- データ処理全ての件名で検索 BSH:電子計算機 -- プログラミング全ての件名で検索 NDLSH:オートマトン NDLSH:プログラミング(電子計算機)
分　類	NDC8:007.1 NDC8:007.64 NDC7:418.6
巻冊次	ISBN:4621039229 ; PRICE:35000円 ; XISBN:4621039202
ISBN	4621039229
NCID	BN10400601

目次／あらすじ