519.686.4 П643 2 Потієнко, Степан     Алгебраїчні методи верифікації асинхронних паралельних систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / НАН України, Ін-т кібернетики ім. В. М. Глушкова. — К., 2009. — 16 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	1	Перейти на сайт