Основное заглавие: Синтез, тестирование, верификация и отладка программ

Сведения, относящ. к заглавию: тезисы докладов всесоюзной научной конференции, Рига, 22-24 сентября 1981 г.

Ответственность: [редкол.: Я. М. Барздинь и др.] ; М-во высш. и сред. спец. образования ЛатвССР, Латв. гос. ун-т им. Петра Стучки, ВЦ

Физический носитель: текст

Год публикации: 1981

Место издания: Рига

Издательство: ЛГУ

Объем: 235 с.

Ключевые слова: Цифровые вычислительные машины; Программирование;

Библиография: Библиогр. в конце докл.