DOORS（同志社大学図書館）

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

配架場所	巻　次	請求記号	資料番号	状　態	コメント	予約	文庫区分	教員指定/教員執筆/多読	仮想書架
今出川図書館学外倉庫		007.1\|\|L341-1F\|\|2	941000071			予約			仮想書架	予約	仮想書架
ラーネッド記念図書館参考コーナー		007.1\|\|L341-1F\|\|2	943000424						仮想書架		仮想書架

書誌ID	BB00912980
本文言語	日本語
別書名	原タイトル: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
巻冊次	ISBN:4621039229 ; PRICE:35000円 ; XISBN:4621039202 RefWorks出力（各巻）
NCID	BN10400601

[BOOKデータASPサービス] あらすじ／目次