Вы здесь

Application of OOP Type Theory: State, Decidability, Integration

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.16-30.
Библиография: 
Bibliogr.: p.30.
Источник: 
Номер: 
10
Том: 
29
Карточка: 

Б2.33.

Eifrig J., Smith S., Trifonov V., Zwarico A..

Application of OOP Type Theory: State, Decidability, Integration// SIGPLAN Notices-1994, №10.-Vol. 29.-P.16-30.
Bibliogr.: p.30.

Таблица в старой библиотеке: 
ACM4 378