Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

44719

Издателство

Springer

Местоиздаване

Berlin etc.

Година на издаване

1989

Страници

713 p. il.

Класификационен индекс

УДК	Значение
519.6/.8	Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите

ISBN

3-540-51080-X

Отрасъл

Математика

Системен №

13284

Допълнителна сигнатура

L 75

Инвентаризация

Статус	Брой
Фил. Математика (МАТ)	1

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. Berlin etc.: Springer, 1989 713 p. il. 3-540-51080-X.

(1989) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Berlin etc.: Springer 713 p. il. 3-540-51080-X.

(1989). Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. Berlin etc.: Springer, 713 p. il.

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. Berlin etc.: Springer; 1989. p. 713 p. il. ISBN: 3-540-51080-X.