Recent Trends in Algebraic Development Techniques
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Edición de la obra Recent Trends in Algebraic Development Techniques
| Autor | Narciso Martí-Oliet |
|---|---|
| Editorial | Springer Berlin Heidelberg, Imprint: Springer |
| Fecha de publicación | 2013 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Páginas | 283 |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642376351 |
| Serie | Lecture Notes in Computer Science -- 7841 |
| Número de Cutter | M378r |