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

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

Кузьмин, Е. В.
    Моделирование, спецификация и верификация "автоматных" программ [Текст] / Е.В. Кузьмин, В.А. Соколов // . — С. 38-60.

- Анотація:

Статья посвящена описанию, спецификации и верификации моделей программ, построенных на основе автоматного подхода к программированию.

- Є складовою частиною документа:

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

  • УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
  • УДК // Математичне програмування



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт