Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret
Margaria, Tiziana, Steffen, Bernhard
- 出版商: Springer
- 出版日期: 2024-10-30
- 售價: $3,310
- 貴賓價: 9.5 折 $3,145
- 語言: 英文
- 頁數: 406
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031753798
- ISBN-13: 9783031753794
海外代購書籍(需單獨結帳)
相關主題
商品描述
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
商品描述(中文翻譯)
ISoLA 2024 論文集包含了在 2024 年 10 月於希臘克里特島舉行的第十二屆國際正式方法應用研討會（ISoLA 2024）相關活動的貢獻。
ISoLA 2024 提供了一個論壇，讓開發者、使用者和研究人員討論與採用和使用嚴謹工具及方法有關的問題，這些工具和方法用於系統的規範、分析、驗證、認證、建構、測試和維護，並從不同應用領域的角度進行探討。
