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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540140313 - 28 de abril de 2003
Caso a capa e o título não sejam correspondentes, considere o título como correto

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
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

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