Проблемы совершенствования синтеза, тестирования, верификации и отладки программсборник
-
Год издания:
1986
-
Том:
2
-
Место издания:
тез. докл. Всесоюзн. конф., изд-во Латв. ГУ Рига
-
Сборник тезисов
-
Добавил в систему:
Подловченко Римма Ивановна
Статьи, опубликованные в сборнике
-
-
1986
Проблема эквивалентных преобразований программ в схематологии // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ, тез
-
Подловченко Р.И.
-
в сборнике Проблемы совершенствования синтеза, тестирования, верификации и отладки программ, место издания тез. докл. Всесоюзн. конф., изд-во Латв. ГУ Рига, том 2, тезисы, с. (3-стр.)