Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, July 13-14, 2019, Revised Sele
暫譯: 驗證軟體：理論、工具與實驗，第11屆國際會議 VSTTE 2019，紐約市，美國，2019年7月13-14日，修訂選集

Chakraborty, Supratik, Navas, Jorge A.

Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, July 13-14, 2019, Revised Sele
  • 出版商: Springer
  • 出版日期: 2020-03-14
  • 售價: $2,400
  • 貴賓價: 9.5 折 $2,280
  • 語言: 英文
  • 頁數: 193
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030415996
  • ISBN-13: 9783030415990

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

相關主題

商品描述

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

商品描述(中文翻譯)

本卷為第11屆國際驗證軟體會議：理論、工具與實驗（VSTTE 2019）的經過徹底審稿的會後論文集，該會議於2019年7月在美國紐約市舉行。
所呈現的9篇完整論文是從17篇投稿中精心修訂和選出的。這些論文描述了涉及協作、理論統一、工具整合和正式化領域知識的大規模驗證工作，以及評估驗證技術和技術的新實驗和案例研究。

類似商品