資料詳細

【図書】 構造的ＰＡＳＣＡＬプログラミング

プログラム設計と証明の組織的方法 -- コンピュータ・サイエンス研究書シリーズ --
Ｓｕａｄ　Ａｌａｇｉｃ，Ｍｉｃｈａｅｌ　Ａ．Ａｒｂｉｂ／著, 中島玲二／訳, 　 , 　 , 　 -- 日本コンピュータ協会 -- １９８０．９ -- ２２ｃｍ -- ２９３ｐ

タイトル	構造的ＰＡＳＣＡＬプログラミング
副書名	プログラム設計と証明の組織的方法
シリーズ名	コンピュータ・サイエンス研究書シリーズ
著者名等	Ｓｕａｄ　Ａｌａｇｉｃ，Ｍｉｃｈａｅｌ　Ａ．Ａｒｂｉｂ／著, 中島玲二／訳, 　 , 　 ,
出版	日本コンピュータ協会１９８０．９
大きさ等	２２ｃｍ２９３ｐ
分類	007.64
件名	プログラミング（電子計算機）
注記	Ｔｈｅ　ｄｅｓｉｇｎ　ｏｆ　ｗｅｌｌ－ｓｔｒｕｃｔｕｒｅｄ　ａｎｄ　ｃｏｒｒｅｃｔ　ｐｒｏｇｒａｍｓ．／の翻訳
注記	発売：科学技術出版社
内容	参考文献：ｐ２６１～２６４
書誌番号	1190248616
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190248616

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/3819	一般書	貸出中	-	0003580024