
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783662492246
- Date de parution :12 janv. 2016
- Éditeur :Springer Berlin Heidelberg
- Marque éditoriale :Springer
- Format de fichier :EPUB2
- Taille de fichier :4.06 MB
- Options de téléchargement :EPUB2 (Adobe DRM)
Dans cette série
Software Architecture. ECSA 2025 Tracks and Workshops
Domenico Bianculli,Hassan Sartaj,Vasilios Andrikopoulos,Cesare Pautasso,Tommi Mikkonen,Jennifer Perez,Tomáš Bureš,Martina De Sanctis,Henry Muccini,Elena Navarro,Mohamed Soliman,Uwe Zdun

