Верификация интерпретатора для языка БЭЙСИК | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Непомнящий В. А.

Сулимов А. А.

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

1

Вид:

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

Год:

1980

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

верификация

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

Источник:

Тез. докл. Всесоюз. конф. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование"

Часть:

1

Карточка:

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

Верификация интерпретатора для языка БЭЙСИК-Вильнюс.// Тез. докл. Всесоюз. конф. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", 1980.

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

ISI1 700