<< 21222324252627282930 >>     

書誌番号	0000061062
言語	jpn : 日本語
NACSIS ID	BN10400601
和洋区分	和資料
書名	形式的モデルと意味論
書名カナ	ケイシキテキ モデル ト イミロン
その他タイトル	原タイトル:Formal models and semantics
親書誌名 ; 番号等	コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2
出版事項	東京 : 丸善, 1994.2
形態	26, 1248p ; 23cm
分類	NDC8版 : 007.1 NDC8版 : 007.64 NDC7版 : 418.6 国立国会図書館分類表 : M159 国立国会図書館分類表 : MA41
巻冊次表示	巻書名 ISBN 表示価格 書籍リンク 4621039229 35000円
著者名典拠	Leeuwen, Jan van 広瀬, 健(1935-)
件名	[普通件名] : BSH:電子計算機 -- データ処理||デンシケイサンキ -- データショリ//K [普通件名] : BSH:電子計算機 -- プログラミング||デンシケイサンキ -- プログラミング//K [普通件名] : NDLSH:オートマトン||オートマトン//K [普通件名] : NDLSH:プログラミング(電子計算機)||プログラミング(デンシケイサンキ)//K
リレーション	[書誌階層（上位：親）] : 1件( コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 )
注記	翻訳: 會澤邦夫ほか 各章末: 文献

該当件数：1件

	巻書名	所蔵ID	配架場所	請求記号	備考	返却予定日	ステータス	予約数
		10021382	一般	007.6  L			貸出可能	0

[予約]：チェックした資料に対し予約申込を行います[請求]：チェックした資料に対し請求票を印刷します

<< 21222324252627282930 >>