|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Лесли Лампорт Резюме статьи, 15.07.1974(?) "The Dynamic Verification of Assertions: A Proposal".
Письмо, Л. Лампорт->А.П. Ершов, 17.05.1989Напоминание об очередном заседании РГ 2.2 (Пало Альто, 21-25.08.1989). В приложении - информация о заседании и бланк заявки на гостиницу.
Письмо, Э. Нейхолд->М. Паул, 08.11.1978по вопросам, относящимся к РГ2.2 (документ "Баден-11").
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
