購物比價找書網找車網
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
$ 3299
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
作者:Neele 
出版社:Springer
出版日期:2024-10-13
語言:英文   規格:平裝 / 普通級/ 初版
博客來 博客來 - 科技與應用科學  - 來源網頁  
圖書介紹看圖書介紹
圖書介紹 - 資料來源:博客來   評分:
圖書名稱: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折
改變之書:關於蛻變的掙扎、思考、風險、決定、行動和承擔(19個用想像力為自己創造全新人生的真實故事)
作者:波莉.莫蘭
出版社:木馬文化事業有限公司
出版日期:2018-01-10
66折: $ 238 
金石堂 - 今日66折
周姚萍講新成語故事1-禿禿山與禿禿鳥附小作家上場+拼字變成語超萌稿紙,培養小學生的讀寫能力
作者:周姚萍
出版社:五南圖書出版股份有限公司
出版日期:2018-04-28
66折: $ 198 
 
Taaze 讀冊生活 - 暢銷排行榜
長期買進︰財金教授周冠男的42堂自制力投資課
作者:周冠男
出版社:遠見天下文化出版股份有限公司
出版日期:2024-07-31
$ 355 
博客來 - 暢銷排行榜
特殊傳說Ⅲ vol.09
作者:護玄
出版社:蓋亞
出版日期:2024-10-16
$ 236 
Taaze 讀冊生活 - 暢銷排行榜
《貓卡龍》2025年三角桌曆【臺北市流浪貓保護協會】
作者:臺北市流浪貓保護協會/黃宇璇/劉智豪/陳婕瑀/李懿芳
出版社:最新期數:最新一期出版日期:出刊頻率:出刊類型:紙製用品>時效日/月/掛/桌曆選擇訂閱期數:完成付款後,新訂戶將由目前最新一期寄發,續訂戶若已取得最新一期,則會從下一期繼續寄發。×Previous
$ 280 
 
Taaze 讀冊生活 - 新書排行榜
開箱工程師腦洞大開的日常:提早練功打底、把技能樹升級,讓科技業大廠都搶著要你
作者:艾斯
出版社:商周出版
出版日期:2024-11-07
$ 320 
金石堂 - 新書排行榜
完美求婚(全)
作者:鶴亀まよ
出版社:尖端漫畫
出版日期:2024-11-19
$ 119 
金石堂 - 新書排行榜
辣妹因為懲罰遊戲才向我這個邊緣人告白,但顯然是真心愛上我了 (首刷限定版) 08
作者:結石
出版社:東立出版社
出版日期:2024-12-31
$ 247 
 

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