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

Вы здесь

Автор:

Сулимов А. А.

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

1

Вид:

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

Год:

1988

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

транслятор

верификация

автоматический

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

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

программа

Стр.:

С.104-106

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

Новосибирск

Источник:

Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.)

Часть:

2

Карточка:

Б2.23, Б3.54, Б3.22.

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

Об автоматической верификации трансляторов-Новосибирск.// Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.), 1988.-С.104-106

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

ISI1 27