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

Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II

的圖書
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II

作者:Gurfinkel 
出版社:Springer
出版日期:2024-07-25
語言:英文   規格:平裝 / 23.5 x 15.49 cm / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 2999
博客來 博客來
計算機概論
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II

內容簡介

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24-27, 2024.

The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

 

詳細資料

  • ISBN:9783031656293
  • 規格:平裝 / 23.5 x 15.49 cm / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
四大文明神話套書(四冊):《美索不達米亞神話》、《埃及神話》、《印度神話》、《中國神話》
作者:席路德
出版社:漫遊者
出版日期:2023-08-14
66折: $ 950 
金石堂 - 今日66折
愛上寫作很容易─六類詞語+六種句型:作文起步大全,從無話可寫到妙筆生花、情感豐富,考試拿高分。
作者:段張取藝
出版社:任性出版有限公司
出版日期:2024-02-23
66折: $ 257 
金石堂 - 今日66折
這是一個好問題1:這是為什麼科學素養,不僅由答案引領,更由問題驅動。喜歡問問題,答案就變簡單了!
作者:李淼
出版社:任性出版有限公司
出版日期:2023-11-28
66折: $ 257 
金石堂 - 今日66折
防彈斷食全書【決定版】:延緩老化、減少發炎、阻斷身體飢餓訊號,防彈咖啡創始人教你一輩子都有效的斷食法
作者:戴夫.亞斯普雷
出版社:木馬文化事業有限公司
出版日期:2022-06-08
66折: $ 297 
 
Taaze 讀冊生活 - 暢銷排行榜
【1書+1日記】3分鐘未來日記:寫下的願望真的都實現了!
作者:山田弘美、濱田真由美
出版社:方智出版
出版日期:2021-11-01
$ 252 
Taaze 讀冊生活 - 暢銷排行榜
原子習慣:細微改變帶來巨大成就的實證法則
作者:詹姆斯.克利爾
出版社:方智出版
出版日期:2019-06-01
$ 260 
Taaze 讀冊生活 - 暢銷排行榜
最強JUMP 1月號/2025─附遊戲王RD卡片&七龍珠卡片組&忍者亂太郎貼紙組&我的英雄學院卡片2枚組
出版社:慕客館文化事業有限公司
出版日期:2024-12-04
$ 259 
 
博客來 - 新書排行榜
神奇柑仔店17:消痛巧克力的危機
出版日期:2024-10-31
$ 284 
金石堂 - 新書排行榜
隨插即上!性愛後宮 無修正 ※DAV
作者:西沢水木(西沢みずき)
出版社:未來數位有限公司
出版日期:2024-10-30
$ 253 
Taaze 讀冊生活 - 新書排行榜
戰神皇叔:悍妻不好惹(下)
作者:彥陽高照
出版社:北京億森同創文化
出版日期:2024-10-24
$ 59 
Taaze 讀冊生活 - 新書排行榜
厲爺的小心肝又在虐渣了(全)
作者:十一
出版社:北京億森同創文化
出版日期:2024-10-24
$ 413 
 

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