Recomienda este artículo a tus amigos:
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings - Theoretical Computer Science and General Issues Tarmo Uustalu 2006 edition
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings - Theoretical Computer Science and General Issues
Tarmo Uustalu
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
458 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 27 de junio de 2006 |
| ISBN13 | 9783540356318 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 458 |
| Dimensiones | 155 × 235 × 24 mm · 653 g |
| Lengua | Francés |
| Editor | Uustalu, Tarmo |