ソフトウェア科学のための論理学

CiNii 所蔵館 332館

書誌事項

タイトル
"ソフトウェア科学のための論理学"
責任表示
萩谷昌己 [著]
出版者
  • 岩波書店
出版年月
  • 1994.1
書籍サイズ
23cm
タイトル別名
  • ソフトウェア カガク ノ タメ ノ ロンリガク

この図書・雑誌をさがす

注記

参考書: p213-216

巻末: 事項索引

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ