Software Engineering and Formal Methods
- Undertitel
- SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
- Redaktör
- Domenico Bianculli, Radu Calinescu, Rumpe Bernhard
- Upplaga
- 16001
- ISBN
- 9783662492239
- Språk
- engelska
- Vikt
- 281 gram
- Utgivningsdatum
- 3.2.2016
- Sidor
- 325







































