Eintrag weiter verarbeiten
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: | Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever/ edited by Dennis Dams, Ulrich Hannemann, Martin Steffen |
Format: | E-Book |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010
|
Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 5930 |
Schlagwörter: | |
Buchausg. u.d.T.: | Concurrency, compositionality, and correctness, Berlin : Springer, 2010, X, 375 S. |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |
Wird geladen...