МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ
Івано-Франківський національний технічний
університет нафти і газу
Кафедра комп'ютерних технологій
в системах управління і автоматики
Є. Є. Добров, О. І. Клапоущак
ФОРМАЛІЗАЦІЯ І
МОДЕЛЮВАННЯ СИСТЕМ
ПРАКТИКУМ
Івано-Франківськ
2015