Formal Aspects of Component Software: 19th International Conference, Facs 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (元件軟體的正式面向：第十九屆國際會議 FACS 2023，虛擬活動，2023年10月19-20日，修訂選擇論文)

Cámara, Javier, Jongmans, Sung-Shik

Formal Aspects of Component Software: 19th International Conference, Facs 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
  • 出版商: Springer
  • 出版日期: 2024-01-13
  • 售價: $2,750
  • 貴賓價: 9.5 折 $2,613
  • 語言: 英文
  • 頁數: 229
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 303152182X
  • ISBN-13: 9783031521829

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.

The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

商品描述(中文翻譯)

本書是第19屆國際組件軟體正式面向會議（FACS 2023）的經過審核的會議論文集，該會議於2023年10月19日至20日以虛擬方式舉行。

本書收錄的11篇完整論文是從23篇投稿中精心審核和選出的。這些論文按照主題分為以下幾個部分：雲端計算、網路物理系統與關鍵系統，以及物聯網。

類似商品