Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi , Ferruccio Damiani , Ugo de Liguoro
Aún sin calificaciones
Jun 19, 2009 · Inglés · Tapa blanda (331 páginas)
Añadir a la estantería

Califica este libro


Exportar diario de lectura

Reseñas

No hay reseñas aún

Sé el primero en reseñar este libro y compartir tus pensamientos

Iniciar sesión para revisar
Añadir a la estantería

Califica este libro


Exportar diario de lectura