документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары Всесоюзная конференция "Проблемы совершенствования синтеза, тестовой верификации и отладки программ" Тезисы докладов Тезисы доклада

	Тезисы доклада Э.Ш. Арш, М.И. Аугустон, Я.М. Барздинь, А.К. Зариньш, Э.В. Звирбулис, Б.А. Икауниеце, А.А. Калниньш, З.А. Озола, М.В. Цепите (Рига) "Система тестирования программ на базе языка спецификаций". Названия статей: "Система тестирования программ на базе языка спецификаций". Оригинальный язык документа: русский Изображения страниц: 1 2 Назад Следующий документ (Тезисы доклада) Предыдущий документ (Тезисы доклада)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016