購物比價找書網找車網
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折
語意錯誤寫真劇本書:完整八集劇本與演員對白注記&幕後編導的話,獨家收錄雙主角親筆感謝信
作者:諸怡宣
出版社:春光出版股份有限公司
出版日期:2022-11-17
66折: $ 461 
金石堂 - 今日66折
SIN原罪I:性.掠食者
作者:笭菁
出版社:奇幻基地出版事業部
出版日期:2023-12-28
66折: $ 238 
金石堂 - 今日66折
琥珀眼睛的兔子(二版)
作者:艾德蒙.德瓦爾
出版社:木馬文化事業有限公司
出版日期:2020-02-26
66折: $ 277 
金石堂 - 今日66折
旅遊大歷史
作者:賽門.亞當斯、R. G.格蘭
出版社:大石國際文化
出版日期:2019-12-03
66折: $ 792 
 
金石堂 - 暢銷排行榜
你願意,人生就會值得:蔡康永的情商課3
作者:蔡康永
出版社:如何出版社
出版日期:2024-08-01
$ 316 
金石堂 - 暢銷排行榜
BLUE LOCK 藍色監獄 (首刷限定版) 28
作者:金城宗幸/ノ村優介
出版社:東立出版社
出版日期:2024-10-28
$ 126 
金石堂 - 暢銷排行榜
明天可能會愛你(02)
作者:山下街
出版社:青文出版社股份有限公司
出版日期:2024-11-04
$ 111 
博客來 - 暢銷排行榜
膽大黨 5
作者:龍幸伸
出版社:東立
出版日期:2023-03-23
$ 89 
 
博客來 - 新書排行榜
一念心 改寫神的劇本《隨書附贈「姻緣、旺財、平安三金牌」》
作者:黃子芸
出版社:宇河文化出版有限公司
出版日期:2024-11-08
$ 284 
金石堂 - 新書排行榜
女朋友 and 女朋友 16(完)
作者:
出版社:東立出版社
出版日期:2024-11-04
$ 105 
金石堂 - 新書排行榜
明天可能會愛你(02)
作者:山下街
出版社:青文出版社股份有限公司
出版日期:2024-11-04
$ 111 
金石堂 - 新書排行榜
甜蜜.痛楚-全
作者:椿
出版社:長鴻出版社股份有限公司
出版日期:2024-11-01
$ 119 
 

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