Recent Trends in Algebraic Development Techniques
19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Edición de la obra Recent Trends in Algebraic Development Techniques
| Autor | Andrea Corradini |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2009 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642034282, 9783642034299 |
| OCLC | 428028307 |
| LCCN | 2009934112 |
| Serie | Lecture Notes in Computer Science -- 5486 |