Formal Techniques for Distributed Objects, Components, and Systems: 44th Ifip Wg 6.1 International Conference, Forte 2024, Held as Part of the 19th In

Castiglioni, Valentina, Francalanza, Adrian

Formal Techniques for Distributed Objects, Components, and Systems: 44th Ifip Wg 6.1 International Conference, Forte 2024, Held as Part of the 19th In
  • 出版商: Springer
  • 出版日期: 2024-06-13
  • 售價: $2,930
  • 貴賓價: 9.5 折 $2,784
  • 語言: 英文
  • 頁數: 239
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031626443
  • ISBN-13: 9783031626449

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 during June 17-21, 2024.

The 11 full papers and 2 short papers included in this book were carefully reviewed and selected from 33 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed systems.

商品描述(中文翻譯)

本書收錄了第44屆IFIP WG 6.1國際分散式物件、元件和系統形式技術研討會（FORTE 2024）的審查程序，該研討會於2024年6月在荷蘭格羅寧根舉行，作為第19屆國際分散式計算技術聯合會議（DisCoTec 2024）的一部分，時間為2024年6月17日至21日。

本書收錄了11篇全文和2篇短文，經過33篇投稿的嚴格審查和選擇。這些論文聚焦於分散式系統的理論、模型、工具和應用的基礎研究。

類似商品