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