FM 2008: Formal Methods electronic resource - 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
- Författare
- Jorge. Cuellar
- (Edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag Berlin Heidelberg | 2008 | Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg | v.: digital | 978-3-540-68237-0 |