Portada

Adapting Proofs-as-Programs

SPRINGER
11 / 2010
9781441920140
Inglés
Monographs in Computer Science
Ingles
PVP
155,99