Application of OOP Type Theory: State, Decidability, Integration

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1994

Ключевые слова:

Стр.:

P.16-30.

Библиография:

Bibliogr.: p.30.

Источник:

Номер:

Том:

Карточка:

Б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