Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Cham: Springer International Publishing, Imprint: Springer, 2017
Online
Sammelwerk, Elektronische Ressource
- 1 Online-Ressource (XIV, 243 p. 50 illus)
Ermittle Ausleihstatus...
Titel: |
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
|
---|---|
Verantwortlichkeitsangabe: | edited by Ahmed Bouajjani, Alexandra Silva |
Autor/in / Beteiligte Person: | Bouajjani, Ahmed ; Silva, Alexandra |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Cham: Springer International Publishing, Imprint: Springer, 2017 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 Online-Ressource (XIV, 243 p. 50 illus) |
ISBN: | 9783319602257 |
DOI: | 10.1007/978-3-319-60225-7 |
Schlagwort: |
|
Sonstiges: |
|