---

ソフトウェア カガク ノ タメ ノ ロンリガク
ソフトウェア科学のための論理学 / 萩谷昌己 [著]
(岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11)

データ種別	図書
出版者	東京 : 岩波書店
出版年	1994.1
本文言語	日本語
大きさ	xvii, 220p ; 23cm
著者標目	萩谷, 昌己(1957-) <ハギヤ, マサミ> 長尾, 真(1936-) <ナガオ, マコト>

 類似資料