von Patrick Godefroid
Taschenbuch
EAN=ISBN-13: 978-3-540-81403-0
ISBN-10: 3-540-81403-5
Springer · 2008
|
|
von Patrick GodefroidTaschenbuch EAN=ISBN-13: 978-3-540-81403-0 ISBN-10: 3-540-81403-5 Springer · 2008 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 2011 | Paperback | Model Checking Software |