Зведений каталог бібліотек Львова

• Класифікатори та каталоги
• Комп'ютерне програмування

Контроль та налагоджування програм

Документи:

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