Produktnummer:
18ad077cd6993948d7818038f27afe35e0
| Themengebiete: | decidability runtime systems socio-technical systems transactional memory verification |
|---|---|
| Veröffentlichungsdatum: | 17.05.2013 |
| EAN: | 9783642384929 |
| Sprache: | Englisch |
| Seitenzahl: | 251 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | De Nicola, Rocco Julien, Christine |
| Verlag: | Springer Berlin |
| Untertitel: | 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings |
Produktinformationen "Coordination Models and Languages"
This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013). The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen