|
| 519.686.2 | К619
2 | Колчин, Олександр
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / НАН України, Ін-т кібернетики ім. В. М. Глушкова. — К., 2009. — 16 с. | |
| | |
|
