Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ... (Lecture Notes in Computer Science)
暫譯: 分散物件、元件與系統的正式技術：第38屆IFIP WG 6.1國際會議FORTE 2018，作為第13屆...的一部分（計算機科學講義）
- 出版商: Springer
- 出版日期: 2018-05-30
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 212
- 裝訂: Paperback
- ISBN: 331992611X
- ISBN-13: 9783319926117
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.
The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
商品描述(中文翻譯)
本書為第38屆IFIP WG 6.1國際會議「分散物件、元件與系統的形式技術」（FORTE 2018）的會議紀錄，該會議於2018年6月在西班牙馬德里舉行，並作為第13屆國際聯合會議「分散計算技術」（DisCoTec 2018）的一部分。
所呈現的10篇完整論文是從28篇投稿中經過仔細審查和選拔而來。此次會議專注於分散系統的理論、模型、工具和應用的基礎研究。
