sofort lieferbar!
117,69 €
Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen
In den Warenkorb Express-Kauf (Jetzt aktivieren) Auf die Merkliste
eBook (PDF mit Wasserzeichen)
Topseller & Empfehlungen für Sie
Topseller & Empfehlungen für Sie
Ihre zuletzt angesehenen Produkte
Ihre Empfehlung
Ahrendt / Beckert / Bubel / Hähnle / Schmitt / Ulbrich
Deductive Software Verification - The KeY Book
ISBN 978-3-319-49812-6
Rezensionen