|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Александр Васильевич Грох Акт экспертизы, 28.12.1983(?) на статью А.В. Гроха "Смешанные вычисления и проверка правильности программ"; в приложении - сопроводительное письмо, справка и служебная записка.
Блокнот, 06.10.1983-10.10.1983Рабочие записи, сделанные во время работы Школы по смешанным вычислениям.
Статья"Mixed calculation and verification of symbol manipulation"
Доклад"Смешанные вычисления и проверка правильности программ".
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
