OPAC

エンシュウプログラムノショウメイ
演習プログラムの証明 / ロバート・B.アンダスン著 ; 有沢誠訳
(ソフトウェア工学ライブラリ ; [1])

データ種別	図書
出版者	東京 : 近代科学社
出版年	1980.11
本文言語	日本語
大きさ	174p ; 21cm
著者標目	Anderson, Robert Brockett, 1941- 有澤, 誠(1944-) 訳 <アリサワ, マコト>

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-2階-電動書庫	007.6\|\|So24\|\|1	101095305		1980			4764900645	予約	請求メモ	予約	請求メモ

別書名	原タイトル:Proving programs correct
一般注記	関連文献: p164-171
件　名	NDLSH:プログラミング(電子計算機)
分　類	NDC7:418.6 NDC8:007.64 NDLC:M159
書誌ID	B000042738
ISBN	4764900645
NCID	BN01964118