Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... Part II (Lecture Notes in Computer Science)
暫譯: 系統建構與分析的工具與演算法：第23屆國際會議，TACAS 2017，作為歐洲聯合會議的一部分... 第二部分（計算機科學講義筆記）

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... Part II (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2017-03-31
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 436
  • 裝訂: Paperback
  • ISBN: 3662545799
  • ISBN-13: 9783662545799
  • 相關分類: Algorithms-data-structures、Computer-Science

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

相關主題

商品描述

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP. 

商品描述(中文翻譯)

這兩本書 LNCS 10205 + 10206 是第23屆國際工具與演算法建構與分析系統會議（TACAS 2017）的會議論文集，該會議於2017年4月在瑞典烏普薩拉舉行，並作為2017年歐洲軟體理論與實踐聯合會議（ETAPS 2017）的一部分。

這些卷中呈現的48篇完整論文、4篇工具展示論文和12篇軟體競賽論文，經過仔細審查和選擇，來自於181篇提交至TACAS的論文和32篇提交至軟體競賽的論文。它們被組織在以下主題部分：驗證技術；學習；合成；自動機；併發與雙模擬；混合系統；安全性；執行時驗證與邏輯；定量系統；SAT與SMT；以及SV COMP。

類似商品