519.6 Б 12 Бабичев, А. В. Язык спецификации взаимодействующих процессов MODEL-100 [Текст] / А. В. Бабичев, авт. В. Г. Лебедев> // Программирование. - 2007. - N 1. - С. 5-21. - Библиогр.: с. 14 (6 назв. ) . - ISSN 0132-3474
Рубрики: Математика--Вычислительная математика Кл.слова (ненормированные): языки программирования; языки спецификации; управление технологическими процессами (программирование); взаимодействующие процессы (программирование); Model-100; логическое программирование Аннотация: Описываются идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов. Доп.точки доступа: Лебедев, В. Г. |