
Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Sammendrag
Om denne boken
- Språk:English
- ISBN:9783319152011
- Utgivelsesdato:31. jan. 2015
- Forlag:Springer International Publishing
- Trykk:Springer
- Filformat:EPUB2
- Filstørrelse:7.33 MB
- Nedlastingsalternativer:EPUB2 (Adobe DRM)

















































