Institutions: Abstract Model Theory for Spesification and Programming

Вы здесь

Автор:

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

Вид:

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

Год:

1992

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

Стр.:

P.95-146.

Реферат:

Теория абстрактных моделей спецификаций и программирования.

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

Bibliogr.: p.142-146.

Источник:

Номер:

Том:

Карточка:

Б2.24, Б2.25, Б2.13.

Goguen J. A., Burstall R. M..

Institutions: Abstract Model Theory for Spesification and Programming// J. of the ACM-1992, №1.-Vol. 39.-P.95-146.
Bibliogr.: p.142-146.

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

ACM1 449