Вы здесь

Проблемно-ориентированный подход к верификации программ. Применение к программам обработки файлов

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Статья из сборника или журнала
Год: 
1988
Место издания: 
Карточка: 

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

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

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