Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Edición de la obra Mathematics of Program Construction
| Autor | Jeremy Gibbons |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2012 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642311130 |
| Serie | Lecture Notes in Computer Science -- 7342 |
| Número de Cutter | G441m |