Матюнина, Ольга Евгеньевна - Логические методы и инструментальные средства верификации офисных процедур : автореферат дис. ... кандидата технических наук : 05.13.12

Карточка

Матюнина, Ольга Евгеньевна.
Матюнина, Ольга Евгеньевна.

Логические методы и инструментальные средства верификации офисных процедур : автореферат дис. ... кандидата технических наук : 05.13.12 / Моск. горный ун-т. - Москва, 1995. - 21 с.
Системы автоматизации проектирования ( по отраслям )
FB 9 95-1/504-8
FB 9 95-1/505-6

Документ в свободном доступе. Читать 

Marc21

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

Показать

Описание

Автор
ЗаглавиеЛогические методы и инструментальные средства верификации офисных процедур : автореферат дис. ... кандидата технических наук : 05.13.12
Коллекции ЭБ Авторефераты
Дата поступления в ЭК 06.03.1995
Дата поступления в ЭБ 14.07.2008
Каталоги Авторефераты диссертаций
Сведения об ответственностиМоск. горный ун-т
Выходные данныеМосква, 1995
Физическое описание21 с.
ТемаСистемы автоматизации проектирования ( по отраслям )
BBK-кодЗ973.233-018-5-05,0
Специальность05.13.12: Системы автоматизации проектирования (по отраслям)
ЯзыкРусский
Места храненияFB 9 95-1/504-8
FB 9 95-1/505-6
Электронный адрес Электронный ресурс