Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

von: Tiziana Margaria · Bernhard Steffen

Taschenbuch

Details (Kanada)
(siehe auch: eBook (Kindle))

ISBN: 978-3-319-47167-9

ISBN-10: 3-319-47167-8

Springer · 2017