Portada

Interactive Theorem Proving and Program Development

SPRINGER
12 / 2010
9783642058806
Inglés
Texts in Theoretical Computer Science. An EATCS Series
Ingles
PVP
88,39