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

Юрчишин, В. М. Формальні методи програмної інженерії : конспект лекцій / В. М. Юрчишин, В. Я. Піх. - Івано-Франківськ : ІФНТУНГ, 2016. - 154 с.

У конспекті лекцій відображено основні методи і засоби формальних методів програмної інженерії що дозволяють створювати ефективне програмне забезпечення. Цей курс містить поглиблені відомості про структуру, зміст і обсяг знань, умінь і навичок, що підлягають засвоєнню магістрами спеціальності 121 «Інженерія програмного забезпечення».

Читати online