Skip to contents Dams, Dennis [Editor]; Roever, Willem-Paul de [Honoree]; Hannemann, Ulrich [Editor]; Steffen, Martin [Editor]; Dams, Dennis René [Editor] Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 5930 Roever, Willem-Paul de [Editor] ; COMPOS 1997 Malente Compositionality : the significant difference ; international symposium, COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997 ; revised lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1536 Roever, Willem-Paul [Author] ; Langmaack, Hans [Other]; Pnueli, Amir [Other] Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1536 Dams, Dennis [Author] ; Hannemann, Ulrich [Other]; Steffen, Martin [Other] Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 5930
Dams, Dennis [Editor]; Roever, Willem-Paul de [Honoree]; Hannemann, Ulrich [Editor]; Steffen, Martin [Editor]; Dams, Dennis René [Editor] Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 5930
Roever, Willem-Paul de [Editor] ; COMPOS 1997 Malente Compositionality : the significant difference ; international symposium, COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997 ; revised lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1536
Roever, Willem-Paul [Author] ; Langmaack, Hans [Other]; Pnueli, Amir [Other] Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1536
Dams, Dennis [Author] ; Hannemann, Ulrich [Other]; Steffen, Martin [Other] Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 5930
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (2) Wert ausschließen Mathmatics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Dams, Dennis (2) Wert ausschließen Hannemann, Ulrich (2) Wert ausschließen Roever, Willem-Paul de (2) Wert ausschließen Steffen, Martin (2) Wert ausschließen COMPOS 1997 Malente (1) Wert ausschließen Dams, Dennis René (1) Wert ausschließen Langmaack, Hans (1) Wert ausschließen Pnueli, Amir (1) Wert ausschließen Roever, Willem-Paul (1) Wert ausschließen Show more show less