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

Базы данных

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

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

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

    Taubner, Dirk.
    Finite representations of CCS and TCSP programs by automata and Petri nets : сборник / D. Taubner. - Berlin [et al.] : Springer, 1989. - X,168 p. : Ill. - (Lecture notes in computer science ; 369)
Bibliogr.: p. 159-164. Ind.: p.166-168
Перевод заглавия: Конечное представление программ вычисления коммуникационных систем и коммуникационных последовательных процессов с помощью теории автоматов и сетей Петри
28.25
ББК З 811 + З 815
Рубрики: Теория информации
   Конечные автоматы
Кл.слова (ненормированные):
абстрактные языки программирования -- конечные автоматы -- сети Петри
Дескрипторы: сб пр

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