Formal Aspects of Component Software: 19th International Conference, Facs 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

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,990
  • 貴賓價: 9.5 折 $2,841
  • 語言: 英文
  • 頁數: 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.

類似商品

最後瀏覽商品 (20)