Вы здесь

Rosolini G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Modular Approach to Denotational Semantics 1998 Power J., Rosolini G. Lecture Notes in Computer Science 11.08.1998
СТ A Categorical view of process refinement 1993 Degano P., Corrieri R., Rosolini G. Lecture Notes in Computer Science 11.06.1993