10%¹ Rabatt bei Bestellungen per App APP-10-24
Tests and Proofs
54.99 €
Verification, Model Checking, and Abstract Interpretation
87.99 €
RoboCup 2018: Robot World Cup XXII
90.19 €
Tools and Algorithms for the Construction and Analysis of Systems