Зведений каталог бібліотек Львова
681.142.2П8452Проценко, Володимир Формальні специфікації мов програмування [Текст] : навч. посіб. для вузів / Володимир Проценко, Павло Чаленко. — К. : Либідь, 1994. — 184 с. ISBN 5-325-00485-9
- Теми документа