福岡大学蔵書検索

検索結果一覧に戻る

プログラム検証論 / 林晋著
(情報数学講座 ; 8)

データ種別	図書
出版者	東京 : 共立出版
出版年	1995.9
形態	xi,211p ; 22cm
著者標目	林, 晋(1953-)
件　名	NDLSH:プログラミング用言語
分　類	NDC:549.92 NDC:410.8
書誌ID	LT00484824

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央4F 図書	410.8/J66/8+2	0110085040001	9784320026582				予約・取寄				予約・取寄
		中央自動書庫	410.8/J66/8	0110085030006	9784320026582				予約・取寄				予約・取寄
		理学部分室開架	410.8/J66/8+3	0110215880004	9784320026582				予約・取寄				予約・取寄
		工学部分室開架	410.8/J66/8+4	0111306580000	9784320026582				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	日本語
一般注記	参考文献:p[199]-201
NCID	BN13003812
巻冊次	ISBN:4320026586

目次／あらすじ