
Conte aos seus amigos sobre este item:
Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science
Herman Geuvers
Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science
Herman Geuvers
680 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 28 de abril de 2003 |
ISBN13 | 9783540140313 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 680 |
Dimensões | 156 × 234 × 18 mm · 480 g |
Idioma | German |
Editor | Geuvers, Herman |
Editor | Wiedijk, Freek |
Ver tudo de Herman Geuvers ( por exemplo Paperback Book )