Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Dams, Dennis (Editor ), Hannemann, Ulrich (Editor ), Steffen, Martin (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
Edición: | 1st ed. 2010. |
Colección: | Theoretical Computer Science and General Issues,
5930 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Publicado: (2012) -
Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers /
Publicado: (2011) -
FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /
Publicado: (2009) -
Conceptual Modeling - ER 2011 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings /
Publicado: (2011) -
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /
Publicado: (2008)