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