Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, Setta 2024, Hong Kong, China, November 26-28, 2024,
暫譯: 可靠軟體工程：理論、工具與應用，第十屆國際研討會，Setta 2024，香港，中國，2024年11月26-28日

Bourke, Timothy, Chen, Liqian, Goharshady, Amir

Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, Setta 2024, Hong Kong, China, November 26-28, 2024,
  • 出版商: Springer
  • 出版日期: 2024-11-25
  • 售價: $3,410
  • 貴賓價: 9.5 折 $3,240
  • 語言: 英文
  • 頁數: 418
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 9819606012
  • ISBN-13: 9789819606016
  • 相關分類: 軟體工程

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26-28, 2024.

The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.

商品描述(中文翻譯)

本書是第十屆國際可靠軟體工程研討會（SETTA 2024）的經過審稿的會議論文集，該會議於2024年11月26日至28日在中國香港舉行。

本書包含的21篇完整論文是從47篇投稿中精心審核和選出的。SETTA研討會系列的目的是將國際研究人員聚集在一起，交流研究成果和想法，以縮小形式方法與軟體工程之間的差距。

類似商品