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