Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Ainda sem avaliações
2003 · Inglês · Brochura
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura

Avaliações

Nenhuma avaliação ainda

Seja o primeiro a avaliar este livro e compartilhe seus pensamentos

Faça login para Avaliar
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura