Types for Proofs and Programs: International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : Selected Papers

Capa
Springer, 2001 - 193 páginas

Opinião das pessoas - Escrever uma crítica

Não foram encontradas quaisquer críticas nos locais habituais.

Outras edições - Ver tudo

Informação bibliográfica