Software Engineering and Formal Methods : Sefm 2013 Collocated Workshops - Beat2, Ws-Fmds, Fm-Rail-Bok, Mokmasd, and Opencert, Madrid, Spain, Septembe
by Steve Counsell, Manuel Núñez Paperback 1
- Author: Steve Counsell, Manuel Núñez
- ISBN 13: 9783319050317
- ISBN 10: 3319050311
- Publication Year: 1
- Language: English
Specifications
| Index-10 | 3319050311 |
|---|---|
| Index-13 | 9783319050317 |
| Language | English |