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))

ISBN: 978-3-662-50496-3

ISBN-10: 3-662-50496-0

Springer · 2017