Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4, Band 4)

207.30 EUR 3% Off 213.99 EUR

Marke: Springer US
MPN: 13906192
ISBN: 144194981X
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
213.99 EUR 213.99 EUR
24-04-2026 20:55:35