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

Ancora nessuna valutazione
2003 · Inglese · Brossura
Aggiungi allo scaffale

Valuta questo libro


Esporta diario dei libri

Recensioni

Nessuna recensione ancora

Sii il primo a recensire questo libro e condividi i tuoi pensieri

Accedi per recensire
Aggiungi allo scaffale

Valuta questo libro


Esporta diario dei libri