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

Theoretical

von Daniel Kroening

Taschenbuch

EAN=ISBN-13: 978-3-642-09344-9

ISBN-10: 3-642-09344-2

Springer · 2010
Siehe auch:
2018TaschenbuchDecision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
2017Gebundene AusgabeDecision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
2008Gebundene AusgabeDecision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)