Зведений каталог бібліотек Києва
ПровотараиПровотар, А. И. Формализация: алгоритмический подход [Текст] / А.И. Провотар // Проблеми програмування : Науковий журнал. — Київ, 2005. — № 3. — С. 37-40.
- Є складовою частиною документа:
Проблеми програмування [Текст] : Науковий журнал. — Київ, 2005. — № 3.
- Теми документа