購物比價找書網找車網
FindBook  
 有 1 項符合

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe

的圖書
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe

出版社:Springer
出版日期:2024-04-05
語言:英文   規格:平裝 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 2999
博客來 博客來
計算機概論
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe

內容簡介

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.

The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

 

詳細資料

  • ISBN:9783031572487
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
心靈的本質有聲書第 4 輯
作者:許添盛主講
出版社:賽斯文化
出版日期:2015-08-01
66折: $ 660 
金石堂 - 今日66折
高中三年的中翻英一本搞定:五段式中翻英譯法
作者:葉怡成
出版社:五南圖書出版股份有限公司
出版日期:2019-12-28
66折: $ 231 
金石堂 - 今日66折
神奇之道有聲書第3輯
作者:許添盛
出版社:賽斯文化
出版日期:2020-10-01
66折: $ 726 
 
金石堂 - 暢銷排行榜
特殊傳說Ⅲ vol.10
作者:護玄
出版社:蓋亞文化有限公司
出版日期:2025-02-05
$ 253 
金石堂 - 暢銷排行榜
療傷遊戲 重新開始 (首刷限定版) 05
作者:日ノ原巡
出版社:東立出版社
出版日期:2025-02-05
$ 170 
博客來 - 暢銷排行榜
膽大黨 16 (首刷限定版)
作者:龍幸伸
出版社:東立
出版日期:2025-01-23
$ 127 
Taaze 讀冊生活 - 暢銷排行榜
VOGUE 2月號/2025 第341期
出版社:創新書報股份有限公司
出版日期:2025-02-05
$ 225 
 
博客來 - 新書排行榜
失控的焦慮世代:手機餵養的世代,如何面對心理疾病的瘟疫
作者:強納森.海德特 (Jonathan Haidt)
出版社:網路與書出版
出版日期:2024-11-29
$ 379 
Taaze 讀冊生活 - 新書排行榜
5分鐘致富練習:每天一個小覺察,預約財務自由的未來!
作者:江季芸
出版社:采實文化事業股份有限公司
出版日期:2025-02-13
$ 266 
金石堂 - 新書排行榜
特殊傳說Ⅲ vol.10
作者:護玄
出版社:蓋亞文化有限公司
出版日期:2025-02-05
$ 253 
金石堂 - 新書排行榜
椅人:沒試過,怎麼知道你不行!
作者:Chairman 椅人(何秉錡)
出版社:三采文化股份有限公司
出版日期:2024-12-27
$ 356 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策