Autor/-in: Tobias Nipkow
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Tobias Nipkow.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Hardcover): Fachbuch
Erhältlich:
Nicht auf Lager
Concrete Semantics
With Isabelle/HOL
-8.7 %
CHF 94.–