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, Band 9509)

von: Rocco De Nicola · 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-13: 978-3-319-28468-2

ISBN-10: 3-319-28468-1

Springer · 2016