Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program se...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Palsberg, Jens (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Edición: | 1st ed. 2009. |
Colección: | Theoretical Computer Science and General Issues,
5700 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
Publicado: (2014) -
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
Publicado: (2012) -
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /
Publicado: (2007) -
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
Publicado: (2007) -
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
Publicado: (2016)