Шифр: B-7882 ПІ
Методичні вказівки до практичних занять з дисципліни "Формальні методи програмної інженерії" для студентів спеціальності 8.05010302 "Інженерія програмного забезпечення" / упоряд. О. Л. Шевченко ; МОНМС України, ХНУРЕ. – Харків : ХНУРЕ, 2012. – 16 c. – 1,19
Методичні вказівки до практичних занять з дисципліни "Формальні методи програмної інженерії" для студентів спеціальності 8.05010302 "Інженерія програмного забезпечення" / упоряд. О. Л. Шевченко ; МОНМС України, ХНУРЕ. – Харків : ХНУРЕ, 2012. – 16 c. – 1,19
- Електронна версія (doc / 2,83 Mb)
- Замовити
Статистика використання: Завантажень: 1 Видач: 1
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент загальний к. 358 | 2 | 2 |
Тема:
- УДК
- 004.4 Програмне забезпечення Ключові слова
- програмне забезпечення, ПЗ, программное обеспечение, ПО, software, Software, logiciel
- програмна інженерія, программная инженерия
- ХНУРЕ- праці науковців, ХНУРЭ - труды научных сотрудников
- верифікація програм, верификация программ
- лінійна темпоральна логіка, линейная темпоральная логика ХНУРЕ. Праці співробітників
- Шевченко Олена Леонідівна, Шевченко Елена Леонидовна