Система проверки правильности генерации кодов трансляторов | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Сулимов А. А.

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

1

Вид:

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

Год:

1990

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

верификация

правильность

программа

спецификация

генерация

транслятор

Стр.:

С.151-159.

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

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

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

Новосибирск

Источник:

Теоретические проблемы систем обработки информации

Карточка:

Б2.23, Б3.22.

Сулимов А. А..

Система проверки правильности генерации кодов трансляторов-Новосибирск.// Теоретические проблемы систем обработки информации, 1990.-С.151-159.
Библиогр.: c.159.

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

ISI1 29