Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)
暫譯: 硬體與軟體：驗證與測試：第十一屆國際海法驗證會議，HVC 2015，於以色列海法，2015年11月17-19日，會議論文集（計算機科學講義）

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2015-10-27
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 293
  • 裝訂: Paperback
  • ISBN: 3319262866
  • ISBN-13: 9783319262864
  • 相關分類: Computer-Science

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.

The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

商品描述(中文翻譯)

本書為第11屆國際海法驗證會議（HVC 2015）的經過審核的會議論文集，該會議於2015年11月在以色列海法舉行。

這17篇經過修訂的完整論文和4篇邀請演講是從眾多提交的論文中仔細審核和選出的。這些論文按主題分為幾個部分，包括混合系統、工具、機器人驗證、符號執行、模型檢查、定時系統、SAT求解、多領域驗證和合成。

類似商品