Caso a capa e o título não sejam correspondentes, considere o título como correto

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 14 - 22 de ago

O que dizem nossos clientes:

Adicione à sua lista de desejos do iMusic

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