Portada

Adapting Proofs-as-Programs

SPRINGER
11 / 2010
9781441920140
Anglès
Monographs in Computer Science
Ingles
PVP
155,99