Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science, Band 336)

Applications

von: Reiner Hähnle · Jens Knoop · Tiziana Margaria · Dietmar Schreiner · Bernhard Steffen

Taschenbuch

ISBN: 978-3-642-34780-1

ISBN-10: 3-642-34780-0

Springer · 2012

Siehe auch (möglicherweise von anderen Autoren):
2011PaperbackLeveraging Applications of Formal Methods, Verification, and Validation
2011PaperbackLeveraging Applications of Formal Methods, Verification, and Validation