Вы здесь
Проблемно-ориентированная система верификации программ
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1986
Ключевые слова:
Место издания:
Карточка:
Непомнящий В. А., Воробьев С. Г., Сулимов А. А..
Проблемно-ориентированная система верификации программ-Рига.// Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез.докл./Всесоюз.науч.конф., 1986.
Таблица в старой библиотеке:
ISI1 727