Strichman, Ofer: Decision Procedures

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

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

57.24 EUR
Preis aktualisiert am: 26-08-2026 10:41:01
Siehe Produktangebot

Gesponsert Decision Procedures

64.19 EUR
Preis aktualisiert am: 26-08-2026 14:13:51
Siehe Produktangebot
Bezeichner
ISBN Daniel Kroening 3662570653
Abmessungen / Gewicht
Hauptmerkmale
Daniel Kroening