OPAC

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

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-2階-和書	007.1\|\|J66\|\|8	101223964		1995			4320026586	予約		予約

一般注記	参考文献: p[199]-201. 索引: 巻末
件　名	NDLSH:プログラミング用言語 NDLSH:プログラミング(電子計算機) BSH:電子計算機 -- プログラミング全ての件名で検索
分　類	NDC8:007.64 NDC7:418.6 NDLC:M159
書誌ID	B000067392
ISBN	4320026586
NCID	BN13003812