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)

Collocated

von: Domenico Bianculli · Radu Calinescu · Bernhard Rumpe

Taschenbuch

ISBN: 978-3-662-49223-9

ISBN-10: 3-662-49223-7

Springer · 2016

Siehe auch:
2016TaschenbuchSoftware 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, Band 9509)