Базисные средства спецификации и верификации трансляторов

Вы здесь

Автор:

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

Колл. автор:

Вид:

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

Год:

1986

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

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

Источник:

Карточка:

Непомнящий В. А., Сулимов А. А..

Базисные средства спецификации и верификации трансляторов-Новосибирск.// Методы трансляции и конструирования программ, 1986.

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

ISI1 728