Concrete Semantics
A Proof Assistant Approach
Tobias Nipkow
-5%
77,05 €
IVA incluido
81,10 €
No disponible