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
Edición de la obra Software Engineering and Formal Methods
| Autor | Steve Counsell, Manuel Núñez |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 432 |
| ISBN-13 | 9783319050317 |
| Número de Cutter | C855s |