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

von Daniel Kroening

Taschenbuch

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

Details (Vereinigte Staaten)
(siehe auch: eBook (Kindle))

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

ISBN-13: 978-3-662-57065-4

ISBN-10: 3-662-57065-3

Springer · 2018