Adapting Proofs-as-Programs
Crossley, John N.
Inglés
EAN
9780387237596
Editorial
Año de edición
2005
Idioma
Inglés
Colección
Monographs in Computer Science
Alto
235
Ancho
155
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres