購物比價找書網找車網
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折
沒權力也能有影響力
66折: $ 238 
金石堂 - 今日66折
京大益智遊戲博士專為兒童設計的動腦解謎:5歲開始,天天挑戰,培育擅長邏輯思考的大腦!(全套4冊)
作者:東田大志
出版社:小熊出版社
出版日期:2023-04-12
66折: $ 766 
金石堂 - 今日66折
美國夢的悲劇:為何我們的進步運動總是遭到反撲?
作者:塔納哈希.科茨
出版社:衛城出版
出版日期:2019-09-11
66折: $ 297 
 
Taaze 讀冊生活 - 暢銷排行榜
《貓卡龍》2025年三角桌曆【臺北市流浪貓保護協會】
作者:臺北市流浪貓保護協會/黃宇璇/劉智豪/陳婕瑀/李懿芳
出版社:最新期數:最新一期出版日期:出刊頻率:出刊類型:紙製用品>時效日/月/掛/桌曆選擇訂閱期數:完成付款後,新訂戶將由目前最新一期寄發,續訂戶若已取得最新一期,則會從下一期繼續寄發。×Previous
$ 280 
博客來 - 暢銷排行榜
特殊傳說Ⅲ vol.09
作者:護玄
出版社:蓋亞
出版日期:2024-10-16
$ 236 
金石堂 - 暢銷排行榜
我不會免費跟妳上床(4)
作者:檜原フキ
出版社:台灣角川股份有限公司
出版日期:2024-11-14
$ 111 
Taaze 讀冊生活 - 暢銷排行榜
miffy潔膚柔濕巾-10抽(橘)
作者:新台
出版社:新台圖書
出版日期:2023-08-30
$ 18 
 
Taaze 讀冊生活 - 新書排行榜
中俄邊境大河黑龍江:被世界忽略的地緣政治與文化糾葛
作者:吳若痕
出版社:商周出版
出版日期:2024-11-21
$ 410 
Taaze 讀冊生活 - 新書排行榜
西班牙
作者:李曉萍.墨刻編輯部
出版社:墨刻出版
出版日期:2024-11-14
$ 349 
博客來 - 新書排行榜
叛逆玩家 01 博客來獨家作者親簽版
$ 252 
金石堂 - 新書排行榜
我內心的糟糕念頭 (首刷限定版) 09
作者:桜井紀雄
出版社:東立出版社
出版日期:2024-12-31
$ 266 
 

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