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

 

Бабичев, А. В.
    Язык спецификации взаимодействующих процессов Model-100 [Текст] / Институт проблем управления им. В.А. Трапезникова // Программирование. — 2007. — C. 3-22.


- Анотація:

Описываются идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов. Правила взаимодействия процессов задаются предложениями вида "если....,то...". Структура взаимодействия представляется графиком, который описывается рациональным термом

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

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

  • УДК // Обчислювальна математика. Числовий аналіз



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