Adapting Proofs-as-Programs
Crossley, John N.
Anglès
EAN
9780387237596
Editorial
SPRINGER
Any d'edició
2005
Idioma
Anglès
Col·lecció
Monographs in Computer Science
Alt
235
Ample
155
Sin Stock
Envío gratis
Entrega: a partir de 10 días laborales
155,99 €
-5%
148,19 €
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres