TY - BOOK AU - Барздинь,Ян Мартынович ED - Латвийский гос. ун-т им. Петра Стучки. Вычислительный центр TI - Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тезисы докладов всесоюзной научной конференции, Рига, 12-14 ноября 1986 г. PY - 1986/// CY - Рига PB - ЛГУ KW - Цифровые вычислительные машины KW - Программирование N1 - В надзаг.: М-во высш. и сред. спец. образования ЛатвССР, Латв. гос. ун-т им. П. Стучки, ВЦ; Т. 1 (1986, 155 c.); Т. 2 (1986, 155 c.) ER -