Применение теории дедуктивного вывода к синтезу программ [[Микроформа]]: Дис. ... канд. физ.-мат. наук: Утв. 02.08.89: (01.01.09)
Сохранено в:
Вид документа: | |
---|---|
Автор: | Сухих, А. Ю. |
Опубликовано: | М. , 1988 |
Физические характеристики: |
155 с.
|
Язык: | Русский |
ОФХ отдела книгохранения
Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
|