Поиск :
Личный кабинет :
Электронный каталог: Матюнина, О. Е. - Разработка логических методов и инструментальных средств верификации офисных процедур
Матюнина, О. Е. - Разработка логических методов и инструментальных средств верификации офисных процедур
Доступно
1 из 1
1 из 1
Диссертация
Автор: Матюнина, О. Е.
Разработка логических методов и инструментальных средств верификации офисных процедур : дис... к.т.н., спец. 05.13.12 - "Системы автоматизации проектирования (промышленность)"
Издательство: Изд-во МИСиС, 1995 г.
ISBN отсутствует
Автор: Матюнина, О. Е.
Разработка логических методов и инструментальных средств верификации офисных процедур : дис... к.т.н., спец. 05.13.12 - "Системы автоматизации проектирования (промышленность)"
Издательство: Изд-во МИСиС, 1995 г.
ISBN отсутствует
Заказать 
На полку
Диссертация
3663 М-22д
Матюнина, О. Е.
Разработка логических методов и инструментальных средств верификации офисных процедур : дис... к.т.н., спец. 05.13.12 - "Системы автоматизации проектирования (промышленность)" / О. Е. Матюнина ; науч. рук. О. М. Рякин . – М. : Изд-во МИСиС, 1995 . – 117 с. : ил. + Библиогр.: с. 106-113.- Прил.: с. 114-117.
658.512.22.011.56(043.3)
Общий = Автоматизация : автоматизированное проектирование
823357 22:Фонд дис. ГИ
3663 М-22д
Матюнина, О. Е.
Разработка логических методов и инструментальных средств верификации офисных процедур : дис... к.т.н., спец. 05.13.12 - "Системы автоматизации проектирования (промышленность)" / О. Е. Матюнина ; науч. рук. О. М. Рякин . – М. : Изд-во МИСиС, 1995 . – 117 с. : ил. + Библиогр.: с. 106-113.- Прил.: с. 114-117.
658.512.22.011.56(043.3)
Общий = Автоматизация : автоматизированное проектирование
823357 22:Фонд дис. ГИ