von Javier Esparza
Taschenbuch
EAN=ISBN-13: 978-3-642-09605-1
ISBN-10: 3-642-09605-0
Springer · 2010
|
|
von Javier EsparzaTaschenbuch
EAN=ISBN-13: 978-3-642-09605-1 ISBN-10: 3-642-09605-0 Springer · 2010 |
| Siehe auch: | ||
| 2008 | Gebundene Ausgabe | Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series) |