Formal Techniques for Distributed Objects, Components, and Systems: 45th Ifip Wg 6.1 International Conference, Forte 2025, Held as Part of the 20th In
暫譯: 分散物件、元件與系統的正式技術：第45屆IFIP WG 6.1國際會議，Forte 2025，作為第20屆會議的一部分

Ferreira, Carla, Mezzina, Claudio Antares

Formal Techniques for Distributed Objects, Components, and Systems: 45th Ifip Wg 6.1 International Conference, Forte 2025, Held as Part of the 20th In
  • 出版商: Springer
  • 出版日期: 2025-06-15
  • 售價: $2,470
  • 貴賓價: 9.5 折 $2,347
  • 語言: 英文
  • 頁數: 221
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031954963
  • ISBN-13: 9783031954962

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16-20, 2025.

The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 25 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.

商品描述(中文翻譯)

本書為第45屆IFIP WG 6.1國際會議「分散物件、元件及系統的正式技術」（FORTE 2025）的經過審核的會議論文集，會議於2025年6月在法國里爾舉行，並作為第20屆國際聯合會議「分散計算技術」（DisCoTec 2025）的一部分，會期為2025年6月16日至20日。

本書收錄的8篇完整論文和5篇短文是從25篇投稿中經過仔細審核和選擇而來。這些論文專注於分散系統的理論、模型、工具和應用的基礎研究。

類似商品