|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Проблемы совершенствования синтеза тестирования и верификации программ. Тезисы докладов Всесоюзной конференциисборник
- Год издания: 1986
- Том: 1
- Место издания: Изд-во ЛатвГУ Рига
- Сборник тезисов
- Добавил в систему: Мальковский Михаил Георгиевич
Статьи, опубликованные в сборнике
-
- 1986 Синтез программ в системе ЛИСС
- Мальковский М.Г., Большакова Е.И.
- в сборнике Проблемы совершенствования синтеза тестирования и верификации программ. Тезисы докладов Всесоюзной конференции, место издания Изд-во ЛатвГУ Рига, том 1, тезисы, с. 47-48
-
- 1986 Тестирование программ лингвистического анализа
- Волова Ирина Анатольевна
- в сборнике Проблемы совершенствования синтеза тестирования и верификации программ. Тезисы докладов Всесоюзной конференции, место издания Изд-во ЛатвГУ Рига, том 1, тезисы, с. 68-69
-
- 1986 Тестирование программ лингвистического анализа
- Волкова Ирина Анатольевна
- в сборнике Проблемы совершенствования синтеза тестирования и верификации программ. Тезисы докладов Всесоюзной конференции, место издания Изд-во ЛатвГУ Рига, том 1, тезисы, с. 68-69