ISBNs beginnend mit 978-3-86376-xxx-xDominik Dietrich × Assertion Level Proof Planning with Compiled Strategies Dominik DietrichSievers & PartnerSoftcover201239,90 €
