Rigorous State-Based Methods: 10th International Conference, Abz 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Bonfanti, Silvia, Gargantini, Angelo, Leuschel, Michael

  • 出版商: Springer
  • 出版日期: 2024-06-21
  • 售價: $3,120
  • 貴賓價: 9.5$2,964
  • 語言: 英文
  • 頁數: 398
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031637895
  • ISBN-13: 9783031637896
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.

The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

商品描述(中文翻譯)

本書是第10屆國際嚴謹狀態方法會議(ABZ 2024)的審查程序,該會議於2024年6月25日至28日在意大利貝加莫舉行。本卷收錄了29篇論文,經過仔細審查和選擇,從47篇投稿中選出。這些論文按照以下主題進行組織:研究論文;短篇研究論文;案例研究;博士生研討會。

類似商品