Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
- Författare
- Steve. Counsell
- (Edited by Steve Counsell, Manuel Núñez.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2014 | Tyskland, Cham | XXV, 432 sidor. 150 illus. online resource. | 978-3-319-05032-4 |