購物比價找書網找車網
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折
心靈的本質有聲書第8輯
作者:許添盛
出版社:賽斯文化
出版日期:2018-04-01
66折: $ 660 
金石堂 - 今日66折
創意提問力:麻省理工領導力中心前執行長教你如何說出好問題
作者:海爾.葛瑞格森
出版社:時報文化出版企業股份有限公司
出版日期:2020-05-19
66折: $ 297 
金石堂 - 今日66折
四大文明神話套書(四冊):《美索不達米亞神話》、《埃及神話》、《印度神話》、《中國神話》
作者:席路德
出版社:漫遊者
出版日期:2023-08-14
66折: $ 950 
金石堂 - 今日66折
出發吧!食光之旅
作者:學習樹研究發展總部
出版社:五南圖書出版股份有限公司
出版日期:2016-06-25
66折: $ 165 
 
金石堂 - 暢銷排行榜
特殊傳說Ⅲ vol.10
作者:護玄
出版社:蓋亞文化有限公司
出版日期:2025-02-05
$ 253 
博客來 - 暢銷排行榜
蛤蟆先生去看心理師(暢銷300萬冊!英國心理諮商經典,附《蛤蟆先生勇氣藏書卡》組)
作者:羅伯.狄保德 (Robert de Board)
出版社:三采
出版日期:2022-01-26
$ 316 
金石堂 - 暢銷排行榜
遊戲結束之前 幽靈狙擊手【限定版】
作者:草子信
出版社:三日月書版股份有限公司
出版日期:2025-02-12
$ 629 
金石堂 - 暢銷排行榜
吾命騎士【2025珍愛特裝組】
作者:御我
出版社:原動力文化事業有限公司
出版日期:2025-02-12
$ 558 
 
博客來 - 新書排行榜
別對每件事都有反應2:不執著的練習
作者:枡野俊明
出版社:悅知文化
出版日期:2025-01-20
$ 260 
Taaze 讀冊生活 - 新書排行榜
一歲的外公
作者:夏夏
出版社:時報文化出版企業股份有限公司
出版日期:2025-02-11
$ 280 
博客來 - 新書排行榜
惠與亞實 5 (首刷限定版)
出版日期:2025-02-12
$ 153 
Taaze 讀冊生活 - 新書排行榜
微賤
作者:黃裕邦
出版社:時報文化出版企業股份有限公司
出版日期:2025-01-21
$ 322 
 

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