Вы здесь

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

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1988
Стр.: 
С.56-57
Библиография: 
Библиогр.: c.57
Место издания: 
Часть: 
2
Карточка: 

Б2.23.

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

Проблемно-ориентированный подход к верификации программ-Новосибирск.// Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.), 1988.-С.56-57
Библиогр.: c.57

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