Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science)
暫譯: 自動化技術驗證與分析：第十三屆國際研討會 ATVA 2015，上海，中國，2015年10月12-15日，會議錄（計算機科學講義）

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2015-11-22
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 536
  • 裝訂: Paperback
  • ISBN: 3319249525
  • ISBN-13: 9783319249520
  • 相關分類: Computer-Science

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

相關主題

商品描述

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October  2015.

The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

商品描述(中文翻譯)

本書為第十三屆自動化技術驗證與分析國際研討會（ATVA 2015）的會議紀錄，該會議於2015年10月在中國上海舉行。

本卷收錄的27篇修訂論文及6篇工具論文，均經過仔細審查和選擇，來自95篇投稿。這些論文展示了自動化分析、驗證和合成的理論與實踐方面的最新研究，並為學術界和業界的研究人員提供了一個國際交流的平台。

類似商品