Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)
von:
Tiziana Margaria
·
Bernhard Steffen
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-662-45230-1
ISBN-10: 3-662-45230-8
Springer
· 2014
