Вы здесь

A Complete Algebraic Characterization of Behavioral Subtyping

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Ключевые слова: 
Стр.: 
P.617-663.
Библиография: 
Bibliogr.: p.661-663
Источник: 
Номер: 
8
Том: 
36
Карточка: 

Б2.1.

Leavens G. T., Pigozzi D..

A Complete Algebraic Characterization of Behavioral Subtyping// Acta Informatica-2000, №8.-Vol. 36.-P.617-663.
Bibliogr.: p.661-663

Таблица в старой библиотеке: 
PAP21 324