Formal Techniques for Distributed Objects, Components, and Systems: 39th Ifip Wg 6.1 International Conference, Forte 2019, Held as Part of the 14th In
暫譯: 分散物件、元件與系統的正式技術：第39屆IFIP WG 6.1國際會議Forte 2019，作為第14屆會議的一部分
Perez, Jorge A., Yoshida, Nobuko
- 出版商: Springer
- 出版日期: 2019-05-29
- 售價: $2,990
- 貴賓價: 9.5 折 $2,841
- 語言: 英文
- 頁數: 299
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030217582
- ISBN-13: 9783030217587
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.
The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
商品描述(中文翻譯)
本書為第39屆IFIP WG 6.1國際會議「分散物件、元件及系統的形式技術」（FORTE 2019）的會議紀錄，該會議於2019年6月在丹麥哥本哈根舉行，並作為第14屆國際聯合會議「分散計算技術」（DisCoTec 2019）的一部分。
本次會議共呈現了15篇完整論文和3篇短文，這些論文是從42篇投稿中經過仔細審查和選拔出來的。會議專注於分散系統的理論、模型、工具和應用的基礎研究。
