1.
| В183.5 П18
Парийская, Екатерина Юрьевна. Символьная верификация событийно-управляемых динамических систем [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук: Специальность 05.13.17 / Е. Ю. Парийская. - Ярославль : Ярославский государственный университет им. П. Г. Демидова, 1999. - 16с. : ил. - ББК В183.5 Рубрики: Исследование операций Кл.слова (ненормированные): авторефераты В183.5 -- дискретные системы
Держатели документа: ЯрГУ
ЯрГУ/ЧЗ/НБ Свободных экз. нет Найти похожие
|