Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
- Författare
- George. Eleftherakis
- (Edited by George Eleftherakis, Mike Hinchey, Mike Holcombe.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2012 | Tyskland, Berlin, Heidelberg | XIV, 384 sidor. 103 illus. digital. | 978-3-642-33826-7 |