von: Daniel Kroening · Ofer Strichman
Springer Berlin Heidelberg · 2008
Gebunden
EAN=ISBN-13: 978-3-540-74104-6
ISBN-10: 3-540-74104-6
| Siehe auch: | ||
| 2010 | Taschenbuch | Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs) |
|
|
von: Daniel Kroening · Ofer StrichmanSpringer Berlin Heidelberg · 2008 Gebunden EAN=ISBN-13: 978-3-540-74104-6 ISBN-10: 3-540-74104-6 |