Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Notes in Computer Science (6415), Band 6415)
von:
Tiziana Margaria
·
Bernhard Steffen
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-16557-3
ISBN-10: 3-642-16557-5
Springer
· 2010
S. auch:
2010
Taschenbuch
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Notes in Computer Science, Band 6416)
