Formal Techniques for Distributed SystemsJoint 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
| Main Authors: | SpringerLink (Online service), Boreale, Michele. |
|---|---|
| Format: | EBK |
| Bahasa: | eng |
| Subjects: | |
| Online Access: |
http://uilis.unsyiah.ac.id/uilis/index.php?p=show_detail&id=104731 http://uilis.unsyiah.ac.id/uilis/lib/phpthumb/phpThumb.php?src=../../images/docs/9783642385926.jpg |
Daftar Isi:
- XIV, 321 p. 66 illus.online resource.