von: Armin Biere · Daniel Kroening · Georg Weissenbacher · Christoph Wintersteiger
Taschenbuch
Details (Deutschland)
(siehe auch: Kindle Ausgabe)
Details (Großbritannien)
(siehe auch: eBook (Kindle))
ISBN: 978-3-540-77728-1
ISBN-10: 3-540-77728-8
Springer · 2008