Recomienda este artículo a tus amigos:
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings - Lecture Notes in Computer Science Philippe Audebaud 2008 edition
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings - Lecture Notes in Computer Science
Philippe Audebaud
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
423 pages, black & white illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 4 de julio de 2008 |
| ISBN13 | 9783540705932 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 423 |
| Dimensiones | 155 × 235 × 22 mm · 635 g |
| Lengua | Francés |
| Editor | Audebaud, Philippe |
| Editor | Paulin-Mohring, Christine |