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

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

195.84 EUR 11% Off 219.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

-11%

195.84 EUR 219.99 EUR

06-11-2026 07:08:29

Access to the deal

-3%

213.99 EUR 219.99 EUR

04-11-2026 04:08:14

Access to the deal

219.99 EUR 219.99 EUR

06-11-2026 07:53:21

Access to the deal