Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... Notes in Computer Science (9509), Band 9509)

von: Domenico Bianculli · 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-662-49223-9 ISBN-10: 3-662-49223-7 Springer · 2016