Архив академика А.П.Ершова

Архив

Материалы по вычислительной технике и программному обеспечению ЭВМ

Статьи о развитии программирования

Статья

Статья
"Using Symbolic Execution to Characterize Behavior". Авторы - D.Cohen. W.Swartout? R.Balzer.
Дата: 26.11.1987
Оригинальный язык документа: английский
Авторы: Роберт М. Балзер

Изображения страниц:


	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16

Назад
Следующий документ (Статья)
Предыдущий документ (Титульный лист и содержание)

Switch to English | Поиск | Расширенный поиск | Папки | Темы