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

Conte aos seus amigos sobre este item:

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

Name: 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
Price: 294.9 BRL
Availability: OutOfStock
Author: Herman Geuvers

Preço

R$ 294,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out

Receba avisos sobre novos lançamentos de Herman Geuvers

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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	Alemão
Editor	Geuvers, Herman
Editor	Wiedijk, Freek