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
Preço
Ft 20.200
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 15 - 25 de ago
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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 )