Diaconescu Razvan | School Of Information Science Japan Advanced Institute Of Science And Te
スポンサーリンク
概要
- Diaconescu Razvanの詳細を見る
- 同名の論文著者
- School Of Information Science Japan Advanced Institute Of Science And Teの論文著者
関連著者
-
Diaconescu Razvan
School Of Information Science Japan Advanced Institute Of Science And Te
-
Stefaneas Petros
National Technical University, Athens, Greece
-
Stefaneas Petros
National Technical University Athens Greece
-
Matsumoto Michihiro
Graduate School Of Information Science Japan Advanced Institute Of Science And Technology(jaist)
-
Matsumoto Michihiro
Graduate School Of Information Science Japan Advanced Institute Of Scien
-
Diaconescu Razvan
School of Information Science, Japan Advanced Institute of Science and Te
-
Iida Shusaku
Graduate School of Information Science, Japan Advanced Institute of Science and Technology(JAIST)
-
Diaconescu Razvan
Graduate School of Information Science, Japan Advanced Institute of Science and Technology(JAIST)
-
Futatsugi Kokichi
Faculty of Computer Science University "A1.I.Cuza"Iass,Romania
-
Diaconescu Razvan
School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku
-
Diaconescu Razvan
School Of Information Scinece Japan Advanced Institute Of Science And Technology Hokuriku
著作論文
- Component-based algebraic specification and verification in CafeOBJ
- Concurrent object composition in CafeOBJ
- Modality in open institutions with concrete syntax
- Behavioural coherence in object-oriented algebraic specification
- Extra theory morphisms for institutions : logical semantics for multi-paradigm languages
- Categorical foundations of modularisation for multi-paradigm