Capa

Adapting Proofs-as-Programs

SPRINGER
11 / 2010
9781441920140
978-14-4192-014-0
Inglês
Monographs in Computer Science
Ingles