Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Lecture Notes in Computer Science)
暫譯: 可靠軟體工程：理論、工具與應用——第三屆國際研討會 SETTA 2017，長沙，中國，2017年10月23-25日，會議錄（計算機科學講義）

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2017-10-17
  • 售價: $2,400
  • 貴賓價: 9.5 折 $2,280
  • 語言: 英文
  • 頁數: 372
  • 裝訂: Paperback
  • ISBN: 3319694820
  • ISBN-13: 9783319694825
  • 相關分類: Computer-Science、軟體工程

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

相關主題

商品描述

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October
2017.
The 19 full papers presented together with 3 invited talks  were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

商品描述(中文翻譯)

本書為第三屆國際可靠軟體工程研討會（SETTA 2017）的會議論文集，該研討會於2017年10月在中國長沙舉行。

本次會議共提交了31篇論文，經過仔細審查後，最終選出19篇完整論文及3篇邀請報告。研討會的目的是將國際研究者和實務工作者聚集在一起，專注於軟體技術領域。其重點包括機率與統計分析、定時與混合系統、程式分析、建模與驗證、形式化以及工具。

類似商品