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

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

Л52Летичевський, Летичевський Олександр Олександрович.
    Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / НАН України, Ін-т кібернетики ім. В. М. Глушкова. — Київ, 2005. — 14 с.

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

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

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

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



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