Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science, Band 7504)

von: George Eleftherakis · Mike Hinchey · Mike Holcombe Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-33825-0 ISBN-10: 3-642-33825-9 Springer · 2012