Portada

Adapting Proofs-as-Programs

SPRINGER
06 / 2005
9780387237596
Inglés
Monographs in Computer Science
Ingles
PVP
155,99