Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science, Band 9276)

von: Radu Calinescu · Bernhard Rumpe Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) ISBN: 978-3-319-22968-3 ISBN-10: 3-319-22968-0 Springer · 2015