types for proofs and programs,international conference, types 2007, cividale del friuli, italy, may 2-5, 2007, revised selected pa
Marino (Edt) Miculan (Autor) · springer-verlag new york inc · Libro Físico
Sin Stock¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.