von Bernhard Steffen Tiziana Margaria
Taschenbuch
ISBN: 978-3-642-16559-7
ISBN-10: 3-642-16559-1
Springer · 2011
|
|
von Bernhard Steffen Tiziana MargariaTaschenbuch ISBN: 978-3-642-16559-7 ISBN-10: 3-642-16559-1 Springer · 2011 |
| Siehe auch: | ||
| 2011 | Paperback | Leveraging Applications of Formal Methods, Verification, and Validation |