Построение и анализ алгоритма универсальной унификации в VDM | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Дегтярев А. И.

Проценко В. С.

Юрчишин В. В.

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

1

Вид:

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

Год:

1991

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

логический

унификация

алгоритм

Стр.:

С.249-251.

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

Библиогр.: c.251.

Место издания:

Новосибирск

Источник:

Смешанные вычисления и преобразование программ

Карточка:

Б3.52.

Дегтярев А. И., Проценко В. С., Юрчишин В. В..

Построение и анализ алгоритма универсальной унификации в VDM-Новосибирск.// Смешанные вычисления и преобразование программ, 1991.-С.249-251.
Библиогр.: c.251.

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

PAP3 441