Sommer SALE: Bis zu -80% sparen!
Abstract State Machines, Alloy, B, TLA, VDM, and Z
54.99 €
Rigorous State-Based Methods
KI 2009: Advances in Artificial Intelligence
109.99 €