Формальні методи програмної інженерії

Демчина, М. М. Формальні методи програмної інженерії : конспект лекцій. Дискретні структури / М. М. Демчина, В. М. Юрчишин, В. І. Шекета. - Івано-Франківськ : ІФНТУНГ, 2014. - 94 с.

У конспекті лекцій представлено основні відомості з формальних методів програмної інженерії в формі дискретних структур на основі освітньо-професійної програми та освітньо-кваліфікаційної характеристики за напрямом підготовки 6.050103 – «Програмна інженерія».

Читати online