Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>S=Теория систем -- Математические методы<.>)
Общее количество найденных документов : 1
1.
   Pr869
   Pr869/625
Pr869/625 / Pr869/625-02

    Vogler, Walter.
    Modular construction and partial order semantics of Petri nets : сборник / W. Vogler. - Berlin [et al.] : Springer, 1992. - VIII, 252 p. : Ill. - (Lecture notes in computer science ; 625)
Bibliogr.: p. 241-249. - Ind.: p. 250-252
Перевод заглавия: Модульная конструкция и семантика частичного упорядочения сетей Петри
28.29
ББК З 817в641
Рубрики: Теория систем--Математические методы
Кл.слова (ненормированные):
семантика -- бисимуляция -- процесс алгебры
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 68-14-94+02
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН