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

Huisman, Marieke, Ravara, António

Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In
  • 出版商: Springer
  • 出版日期: 2023-06-10
  • 售價: $2,980
  • 貴賓價: 9.5 折 $2,831
  • 語言: 英文
  • 頁數: 225
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031353544
  • ISBN-13: 9783031353543

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.

The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

商品描述(中文翻譯)

本書為第43屆IFIP WG 6.1國際會議「分散物件、元件及系統的正式技術」（FORTE 2023）的經過審查的會議論文集，該會議於2023年6月在葡萄牙里斯本舉行，並作為第18屆國際聯合會議「分散計算技術」（DisCoTec 2023）的一部分。

本書中呈現的13篇常規論文和3篇短文是從26篇提交的論文中經過仔細審查和選擇的。這些論文涵蓋的主題包括：並發程式設計、安全性、機率、時間及其他資源，以及基於模型的測試和Petri網。

類似商品

最後瀏覽商品 (3)