Вы здесь

Forcing Behavioral Subtyping Through Specification Inheritance

Количество экземпляров: 
1
Вид: 
Препринт
Год: 
1995
Стр.: 
25 p.
Библиография: 
Bibliogr.: p.24-25
Карточка: 

Б3.5, Б3.21.

Dhara K. K., Leavens G. T..

Forcing Behavioral Subtyping Through Specification Inheritance-1995.-25 p.
Bibliogr.: p.24-25

Таблица в старой библиотеке: 
PREP2 248