Mathematics of Program Construction
12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Edición de la obra Mathematics of Program Construction
| Autor | Ralf Hinze, Janis Voigtländer |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 12, 2015 |
| Páginas | 337 |
| Formato | paperback |
| ISBN-13 | 9783319197968 |
| ISBN-10 | 3319197967 |
| Número de Cutter | H666m |