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 Перевод заглавия: Конечное представление программ вычисления коммуникационных систем и коммуникационных последовательных процессов с помощью теории автоматов и сетей Петри Рубрики: Теория информации Конечные автоматы Кл.слова (ненормированные): абстрактные языки программирования -- конечные автоматы -- сети Петри Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |