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 London, Limited |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| Páginas | 323 |
| ISBN-13 | 9783319197975 |
| Número de Cutter | H666m |