Engineering Trustworthy Software Systems: 6th International School, Setss 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
暫譯: 可信軟體系統工程：第六屆國際學校 SETSS 2024，中國重慶，2024年4月14日至21日，教程講座
Bowen, Jonathan P., Gomes, Cláudio, Liu, Zhiming
- 出版商: Springer
- 出版日期: 2025-04-05
- 售價: $2,410
- 貴賓價: 9.5 折 $2,290
- 語言: 英文
- 頁數: 171
- 裝訂: Quality Paper - also called trade paper
- ISBN: 9819646553
- ISBN-13: 9789819646555
海外代購書籍(需單獨結帳)
相關主題
商品描述
作者簡介
Zhiming Liu is a professor at Southwest University, Chongqing, China. His research interests lie in the area of software theory and methods, with a particular focus on the modeling, design, and verfication of software and systems.
作者簡介(中文翻譯)
劉志明是中國重慶西南大學的教授。他的研究興趣在於軟體理論與方法，特別專注於軟體和系統的建模、設計與驗證。
