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

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

004
П 78Болонья, С.
    Проверка и утверждение программ реального времени [Текст] : пер. с англ. / под ред. У. Дж. Квирка. — К. : Наукова думка, 1990. — 212 с.

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

мережі Петрі, сети Петри, Petri nets ; предикати, предикаты ; системи реального часу, системы реального времени, Echtzeitsystemen ; тестування програм, тестирование программ

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

  • УДК // Системи реального часу. Системи обробки транзакцій



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