Page 2 - 4570
P. 2
МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ
Івано-Франківський національний технічний університет нафти і газу
Кафедра програмного забезпечення автоматизованих систем
М. М. Демчина, В. М. Юрчишин, В. І. Шекета
ФОРМАЛЬНІ МЕТОДИ ПРОГРАМНОЇ
ІНЖЕНЕРІЇ
ДИСКРЕТНІ СТРУКТУРИ
КОНСПЕКТ ЛЕКЦІЙ
Івано-Франківськ
2014
