TY  - BOOK
AU  - Барздинь,Ян Мартынович
ED  - Латвийский гос. ун-т им. Петра Стучки. Вычислительный центр
TI  - Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тезисы докладов всесоюзной научной конференции, Рига, 12-14 ноября 1986 г. Т. 2 
PY  - 1986///
CY  - Рига
PB  - ЛГУ
KW  - Цифровые вычислительные машины - Программирование - Тезисы докладов
N1  - մենագրություն, որի հրատարակումը տևում է մեկ տարուց ավելի 1986; այլ; В надзаг.: М-во высш. и сред. спец. образования ЛатвССР, Латв. гос. ун-т им. П. Стучки, ВЦ
ER  -