書誌番号	0000047329
言語	jpn : 日本語
NACSIS ID	BA43339377
和洋区分	和資料
書名	論理とプログラム意味論
書名カナ	ロンリ ト プログラム イミロン
親書誌名 ; 番号等	コンピュータサイエンス入門
著者名	田辺誠, 中島玲二, 長谷川真人著
出版事項	東京 : 岩波書店, 1999.9
形態	xi, 191p ; 21cm
分類	NDC8版 : 007.64 NDC9版 : 007.64
巻冊次表示	巻書名 ISBN 表示価格 書籍リンク 4000061909 2500円
著者名典拠	田辺, 誠(1970-) 中島, 玲二(1947-) 長谷川, 真人(1970-)
件名	[普通件名] : BSH:電子計算機 -- プログラミング||デンシケイサンキ -- プログラミング//K
リレーション	[書誌階層（上位：親）] : 1件( コンピュータサイエンス入門 )
注記	参考書: p185-188

該当件数：1件

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

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