INTERACTIVE THEOREM PROVING
KLEIN, GERWIN
Inglés
EAN
9783319089690
Editorial
SPRINGER
Año de edición
2014
Idioma
Inglés
Colección
Lecture Notes in Computer Science
Alto
235
Ancho
155
Sin Stock
Envío gratis
Entrega: a partir de 10 días laborales
51,99 €
-5%
49,39 €
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres