Formal Techniques for Networked and Distributed Systems – FORTE 2008 electronic resource - 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
- Författare
- Kenji. Suzuki
- (Edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih.)
- 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-68855-6 |