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

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

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

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

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

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

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

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



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