Concurrency, Compositionality, and Correctness
Essays in Honor of Willem-Paul de Roever
Edición de la obra Concurrency, Compositionality, and Correctness
| Autor | Dennis Dams |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2010 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642115110, 9783642115127 |
| LCCN | 2009943840 |
| Serie | Lecture Notes in Computer Science -- 5930 |
| Número de Cutter | D166c |