Синтез, тестирование, верификация и отладка программ :  Тезисы докладов всесоюзной научной конференции, Рига, 22-24 сентября 1981 г. / 
[Редкол.: Я.М. Барздинь (отв. ред.) и др.]. 
 - Рига :  Латвийского гос. ун-та,  1981. 
 - 235 с. ;  20 см. 
<br/><br/> В надзаг.: М-во высш. и сред. спец. образования ЛатвССР, Петра Стучки, ВЦ 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Цифровые вычислительные машины - Программирование - Тезисы докладов