|
|
РА364136
Колчин, Олександр Валентинович.
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Колчин Олександр Валентинович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
|