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