Portada

Interactive Theorem Proving and Program Development

SPRINGER
05 / 2004
9783540208549
Inglés
Texts in Theoretical Computer Science. An EATCS Series
Ingles
PVP
124,79