Functional Data Structures and Algorithms
A Proof Assistant Approach
Herausgeber: Nipkow, Tobias
Versandkostenfrei!
Versandfertig in 1-2 Wochen
78,99 €
inkl. MwSt.
PAYBACK Punkte
39 °P sammeln!
Functional Data Structures and Algorithms
Andere Kunden interessierten sich für
