A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Versandkostenfrei!
Versandfertig in über 4 Wochen
18,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
9 °P sammeln!
Andere Kunden interessierten sich für
