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

von: Daniel Kroening · Ofer Strichman

Gebunden

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

Details (USA)
(siehe auch: eBook (Kindle))

Details (Großbritannien)
(siehe auch: eBook (Kindle))

EAN=ISBN-13: 978-3-540-74104-6

ISBN-10: 3-540-74104-6

Springer · 2008