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