Новиков, Денис Викторович - Использование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12

Экспресс-заказ фрагмента
Новиков, Денис Викторович.
Использование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12 / Ин-т проблем управления. - Москва, 1994. - 28 с.

Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
Шифр хранения:
FB 9 94-1/2876-2
FB 9 94-1/2877-0

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеИспользование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Дата поступления в ЕЭК 31.05.1994
Каталоги Авторефераты диссертаций
Сведения об ответственностиИн-т проблем управления
Выходные данныеМосква, 1994
Физическое описание28 с.
ТемаПрименение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
BBK-кодЖ2-5-05,0
Специальность05.13.12: Системы автоматизации проектирования (по отраслям)
ЯзыкРусский
Места храненияFB 9 94-1/2876-2
FB 9 94-1/2877-0