WebOPAC Local書誌詳細

書誌詳細

	演習プログラムの証明ロバート・B.アンダスン著 ; 有沢誠訳. -- 近代科学社, 1980. -- (ソフトウェア工学ライブラリ ; [1]). <BB01029066> 便利機能：詳細情報を見る

演習プログラムの証明ロバート・B.アンダスン著 ; 有沢誠訳. -- 近代科学社, 1980. -- (ソフトウェア工学ライブラリ ; [1]). <BB01029066> 便利機能：詳細情報を見る

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	禁帯出区分	状態	返却予定日	予約
0001		図書館	書庫B１	007.64//175	0110237583	可			0件

標題および責任表示

演習プログラムの証明 / ロバート・B.アンダスン著 ; 有沢誠訳
エンシュウプログラムノショウメイ

出版・頒布事項

東京 : 近代科学社 , 1980.11

形態事項

174p ; 21cm

巻号情報

ISBN	4764900645

書誌構造リンク

ソフトウェア工学ライブラリ||ソフトウェアコウガクライブラリ <BB07015739> [1]//a

その他の標題

原タイトル:Proving programs correct

注記