株式会社極東書店トップ > 商品一覧 > Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017, Proceedings. 1st ed. 2017
商品詳細
Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017, Proceedings. 1st ed. 2017
・ISBN 978-3-319-59745-4 paper EUR 49.99
¥13,361.- (税込) ※(※)価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Jacquet, Jean-Marie / Massink, Mieke (eds.), |
|---|---|
| シリーズ | (Lecture Notes in Computer Science) |
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2017 |
| ページ数 | 279 pp. |
| 言語 | ENG |
| ニュース番号 | <A05-16640> |
解説
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchatel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.
The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.
The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.