Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Notes in Computer Science, Band 6416)

Verification

von: Tiziana Margaria · Bernhard Steffen

Taschenbuch

ISBN: 978-3-642-16560-3

ISBN-10: 3-642-16560-5

Springer · 2010

S. auch:
2010TaschenbuchLeveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Notes in Computer Science, Band 6415)