Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

B-7883
ПІ    Методичні вказівки до самостійної роботи та практичних занять з дисципліни "Формальні методи специфікації програмного забезпечення" для студентів заочної форми навчання спеціальності 7.05010302 - "Інженерія програмного забезпечення" [Текст] / упоряд. О. Л. Шевченко ; МОНМС України, ХНУРЕ. — Харків : ХНУРЕ, 2012. — 24 с.

- Ключові слова:

верифікація програм, верификация программ ; засоби генерації парсерів, средства генерации парсеров ; лексичні аналізатори, лексические анализаторы ; програмне забезпечення, ПЗ, программное обеспечение, ПО, software, Software, logiciel ; формальні мови, формальные языки

- Електронні версії документа:

- Теми документа

  • УДК // Програмне забезпечення



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 11 Перейти на сайт