Formal Techniques for Networked and Distributed Systems – FORTE 2007 electronic resource - 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
- Författare
- John. Derrick
- (Edited by John Derrick, Jüri Vain.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer-Verlag Berlin Heidelberg | 2007 | Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg | v.: digital | 978-3-540-73196-2 |