購物比價找書網找車網
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
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
 
博客來 - 暢銷排行榜
我可能錯了:森林智者的最後一堂人生課
作者:比約恩.納提科.林德布勞 (Björn Natthiko Lindeblad, Caroline Bankler, Navid Modiri)
出版社:先覺
出版日期:2023-02-01
$ 355 
博客來 - 暢銷排行榜
素食者【亞洲首部榮獲國際曼布克獎作品】
作者:韓江 (한강)
出版社:漫遊者文化
出版日期:2023-05-08
$ 300 
Taaze 讀冊生活 - 暢銷排行榜
miffy潔膚柔濕巾-10抽(橘)
作者:新台
出版社:新台圖書
出版日期:2023-08-30
$ 18 
Taaze 讀冊生活 - 暢銷排行榜
【全圖解】初學者の鉤織入門BOOK:只要9種鉤針編織法就能完成23款實用又可愛的生活小物
作者:金倫廷
出版社:蘋果屋
出版日期:2018-12-07
$ 337 
 
Taaze 讀冊生活 - 新書排行榜
凝態物理:從半導體、磁浮列車到量子電腦,看穿隱藏在現代科技背後的混沌、秩序與魔法
作者:菲利克斯.福立克
出版社:貓頭鷹出版社
出版日期:2024-10-24
$ 385 
博客來 - 新書排行榜
神奇柑仔店18:紅子與錢天堂的起點
作者:廣嶋玲子
出版社:親子天下
出版日期:2024-10-31
$ 284 
金石堂 - 新書排行榜
ROSSO-人狼搜查官-(全)
作者:あめのジジ
出版社:青文出版社股份有限公司
出版日期:2024-11-21
$ 111 
 

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