Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

64.19 EUR 10% Off 71.00 EUR

Marke: Daniel Kroening

ISBN: 3662570653

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-10%

64.19 EUR 71.00 EUR

12-08-2026 06:36:15

Access to the deal

71.00 EUR 71.00 EUR

12-08-2026 16:35:47

Access to the deal