von: Reiner Hähnle · Jens Knoop · Tiziana Margaria · Dietmar Schreiner · Bernhard SteffenTaschenbuch
ISBN: 978-3-642-34780-1 ISBN-10: 3-642-34780-0 Springer · 2012 |
Siehe auch (möglicherweise von anderen Autoren): | ||
2011 | Paperback | Leveraging Applications of Formal Methods, Verification, and Validation |
2011 | Paperback | Leveraging Applications of Formal Methods, Verification, and Validation |