Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, Setta 2019, Shanghai, China, November 27-29, 2019, Pr
暫譯: 可靠軟體工程：理論、工具與應用，第五屆國際研討會，Setta 2019，中國上海，2019年11月27-29日

Guan, Nan, Katoen, Joost-Pieter, Sun, Jun

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, Setta 2019, Shanghai, China, November 27-29, 2019, Pr
  • 出版商: Springer
  • 出版日期: 2019-11-10
  • 售價: $2,400
  • 貴賓價: 9.5 折 $2,280
  • 語言: 英文
  • 頁數: 139
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 303035539X
  • ISBN-13: 9783030355395
  • 相關分類: 軟體工程

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

相關主題

商品描述

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.


商品描述(中文翻譯)

本書為第五屆國際可靠軟體工程研討會（SETTA 2019）的會議論文集，該會議於2019年11月在中國上海舉行。所呈現的8篇完整論文是從26篇投稿中經過仔細審查和選拔而來。這些論文展示了形式方法領域的前沿進展，以及其與軟體工程的互操作性，並專注於應用形式技術和工具來構建具有多維複雜性的可靠、安全、穩固和智能系統。

類似商品