Документы, связанные с Сузан Л. Герхарт

Резюме статьи, 15.07.1974(?)
"Knowledge about Programs: a Model and Case Study".
Резюме статьи, 15.07.1974(?)
"Correctness-preserving Program Transformations".
Резюме статьи, 15.07.1974(?)
"Toward a Theory of Test Data Selection".
Рецензия, С. Л. Герхарт->А.П. Ершов, 18.01.1980
С. Герхарт на доклад А. Челентано и др.
Титульная страница, 12.12.1979
доклада С. Герхарт, Д. Муссера, Д. Томпсона и др.

По порядку | По алфавиту | По дате


Назад

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