• Concurrency, Compositionality,...
  • Bestand

Treffer: Concurrency, Compositionality, and Correctness

Titel:
Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
Verantwortlich:
Dams, Dennis (Herausgeber); Hannemann, Ulrich (Herausgeber); Steffen, Martin (Herausgeber)
Ausgabe:
1st ed. 2010
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (377 Seiten) : 94 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5930
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Concurrency, Compositionality, and Correctness. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642115110
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642115127 ; 3642115128 ; 9783642115110 (Sekundärausgabe) ; 9783642115134 (Sekundärausgabe)
DOI:
10.1007/978-3-642-11512-7

Zusatz-Informationen

Zusatz-Funktionen