資料詳細

【図書】 演習プログラムの証明

ソフトウェア工学ライブラリ --
ロバート・Ｂ．アンダスン／著, 有沢誠／訳, 　 -- 近代科学社 -- １９８０．１１ -- ２１ｃｍ -- １７４ｐ

タイトル	演習プログラムの証明
シリーズ名	ソフトウェア工学ライブラリ
著者名等	ロバート・Ｂ．アンダスン／著, 有沢誠／訳,
出版	近代科学社１９８０．１１
大きさ等	２１ｃｍ１７４ｐ
分類	007.64
件名	プログラミング（電子計算機）
注記	Ｐｒｏｖｉｎｇ　ｐｒｏｇｒａｍｓ　ｃｏｒｒｅｃｔ．／の翻訳
内容	関連文献：ｐ１６４～１７１
書誌番号	1190067814
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190067814

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/3339	一般書	利用可	-	0003901939