von Aaron R. R. Bradley
Taschenbuch
Details (Deutschland)
(siehe auch: Kindle Ausgabe)
Details (USA)
(siehe auch: eBook (Kindle))
Details (Großbritannien)
(siehe auch: eBook (Kindle))
ISBN-13: 978-3-642-09347-0
ISBN-10: 3-642-09347-7
Springer · 2010
|
|
von Aaron R. R. BradleyTaschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) ISBN-13: 978-3-642-09347-0 ISBN-10: 3-642-09347-7 Springer · 2010 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 2007 | Gebundene Ausgabe | The Calculus of Computation: Decision Procedures with Applications to Verification |