Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Topology in process calculus

Titel:

Topology in process calculus : approximate correctness and infinite evolution of concurrent programs / Mingsheng Ying

Beteiligt:

Ying, Mingsheng

Veröffentlicht:

New York [u.a.] : Springer, 2001

Umfang:

VIII, 220 S.

Format:

Buch

Sprache:

Englisch

Schlagworte:

ISBN:

0387950923 ; 0387950923

Zusatz-Informationen