|
| 519.1 | | Д31 |
Демчина, М. М.
Формальні методи програмної інженерії [Текст] : конспект лекцій. Дискретні структури / М. М. Демчина, В. М. Юрчишин, В. І. Шекета. – Івано-Франківськ : ІФНТУНГ, 2014. – 94 с. – (Каф. програмного забезпечення автоматизованих систем).
|
| УДК 519.1(075.8)+519.854(075.8) |
| |
|
