An Algebraic Approach to Object-Oriented Software Engineering

報告番号: 乙14851 ; 学位授与年月日: 2000-11-24 ; 学位の種別: 論文博士 ; 学位の種類: 博士(学術) ; 学位記番号: 第14851号 ; 研究科・専攻: 総合文化研究科