von B. Berard
Taschenbuch
ISBN: 978-3-642-07478-3
ISBN-10: 3-642-07478-2
Springer Berlin Heidelberg · 2010
|
|
von B. BerardTaschenbuch
ISBN: 978-3-642-07478-3 ISBN-10: 3-642-07478-2 Springer Berlin Heidelberg · 2010 |
| Siehe auch: | ||
| 2001 | Gebundene Ausgabe | Systems and Software Verification: Model-Checking Techniques and Tools |