Вы здесь

Diaconescu R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Behavioral Specification for Hierarchical Object Composition 2004 Diaconescu R. Lecture Notes in Computer Science Lecture Notes in Computer Science 12.02.2005
СТ Component-Based Algebraic Specification and Verification in CafeOBJ 1999 Diaconescu R., Futatsugi K., Iida S. Lecture Notes in Computer Science 26.10.1999
СТ Category-based modularisation for equational logic programming 1996 Diaconescu R. Acta Informatica 20.09.1996
СТ An Introduction to Category-based Equational Logic 1995 Goguen J. A., Diaconescu R. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Towards an Algebraic Semantics for the Object Paradigm 1994 Goguen J. A., Diaconescu R. Lecture Notes in Computer Science 03.06.1994

Редактор: