Compositionality, Concurrency and Partial Correctness

Proof Theories for Networks of Processes, and Their Relation

J. Zwiers

Compositionality, Concurrency and Partial Correctness

44389

Детайли

Издателство

Springer

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

Berlin etc.

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

1989

Страници

272 p.

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

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

Допълнителна информация

ISBN

3-540-50845-7

Отрасъл

Математика

Системен №

12972

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

Z 98

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

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

Действия

APA Chicago / Turabian (16th edition) Harvard MLA (7th edition) Vancouver

Zwiers, J. Compositionality, Concurrency and Partial Correctness. Berlin etc.: Springer, 1989 272 p. 3-540-50845-7.

Zwiers, J. (1989) Compositionality, Concurrency and Partial Correctness, Berlin etc.: Springer 272 p. 3-540-50845-7.

Zwiers, J. (1989). Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and Their Relation. Berlin etc.: Springer, 272 p.

Zwiers J. Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relation. Berlin etc.: Springer; 1989. p. 272 p. ISBN: 3-540-50845-7.