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

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

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

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

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

- Зміст:

ЕНМК

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

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

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



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