Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
- Författare
- Dirk. Beyer
- (Edited by Dirk Beyer, Michele Boreale.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2013 | Tyskland, Berlin, Heidelberg | XIV, 321 sidor. 66 illus. digital. | 978-3-642-38592-6 |