Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802)
von:
Tiziana Margaria
·
Bernhard Steffen
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-662-45233-2
ISBN-10: 3-662-45233-2
Springer
· 2014
