
Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783319152011
- Date de parution :3 févr. 2015
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB2
- Taille de fichier :7.33 MB
- Options de téléchargement :EPUB2 (Adobe DRM)

















































