|
|
ДС96777
Матвєєва, Людмила Євгенівна.
Аналіз та верифікація MSC-систем за допомогою мереж Петрі [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 207 арк. - арк. 163-178Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
|