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

Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

的圖書
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

作者:Neele 
出版社:Springer
出版日期:2024-10-13
語言:英文   規格:平裝 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 3299
博客來 博客來
科技與應用科學
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

內容簡介

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.

The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

 

詳細資料

  • ISBN:9783031661488
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
看得到的化學(全球暢銷破百萬本紀念版):你一輩子都會用到的化學元素知識(附贈精美週期表海報)
作者:西奧多.葛雷
出版社:大是文化有限公司
出版日期:2023-10-31
66折: $ 343 
金石堂 - 今日66折
口罩:人間誌異(首刷限量水墨風口罩收納夾版)
作者:星子、不帶劍、路邊攤
出版社:奇幻基地出版事業部
出版日期:2020-09-03
66折: $ 238 
金石堂 - 今日66折
短時間就上榜,國考之神:考前一年、三個月、一個月、一週如何準備?升學、檢定、資格考都適用!
作者:平木太生(jiji)
出版社:大是文化有限公司
出版日期:2023-03-01
66折: $ 257 
金石堂 - 今日66折
1天10分鐘,7天神瘦:不用控制飲食,動作不標準也無妨。一週內混搭伸展、有氧、肌力訓練,明顯腰細、臀高、腿瘦。
作者:石本哲郎
出版社:大是文化有限公司
出版日期:2023-12-26
66折: $ 263 
 
博客來 - 暢銷排行榜
SAKAMOTO DAYS 坂本日常 16 (首刷限定版)
$ 252 
博客來 - 暢銷排行榜
我可能錯了:森林智者的最後一堂人生課
作者:比約恩.納提科.林德布勞 (Björn Natthiko Lindeblad, Caroline Bankler, Navid Modiri)
出版社:先覺
出版日期:2023-02-01
$ 355 
金石堂 - 暢銷排行榜
青梅竹馬是墮落聖女!(2)
作者:ショーソン
出版社:台灣角川股份有限公司
出版日期:2024-11-07
$ 111 
博客來 - 暢銷排行榜
膽大黨 14
作者:龍幸伸
出版社:東立
出版日期:2024-09-27
$ 93 
 
Taaze 讀冊生活 - 新書排行榜
114年企業管理(含企業概論、管理學)22堂觀念課[國民營事業]
作者:夏威
出版社:千華數位文化股份有限公司
出版日期:2024-08-20
$ 702 
金石堂 - 新書排行榜
魔都精兵的奴隸 (首刷限定版) 16
作者:竹村洋平/
出版社:東立出版社
出版日期:2024-11-05
$ 162 
博客來 - 新書排行榜
峰值體驗2:增量/存量雙增長的戰略思維,實現商業效益指數型躍進的關鍵洞察與落地(博客來獨家印簽版)
作者:汪志謙
出版社:天下雜誌
出版日期:2024-11-01
$ 497 
Taaze 讀冊生活 - 新書排行榜
有趣的聖經故事:只要兩小時,原來讀聖經這麼簡單!
作者:中見利男、ひろ さちや
出版社:啟示
出版日期:2024-10-31
$ 270 
 

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