Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
von:
Tiziana Margaria
·
Bernhard Steffen
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-34031-4
ISBN-10: 3-642-34031-8
Springer
· 2012
