購物比價找書網找車網
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折
高中生延伸教材最愛的參考讀物套書(3冊):《沒被抓到也算作弊嗎?》、《哲學大師寫給每個人的政治思考課》、《親愛的孔子老師》
作者:布魯斯.韋恩斯坦
出版社:漫遊者
出版日期:2020-08-03
66折: $ 614 
博客來 - 今日66折
運動改造大腦:活化憂鬱腦、預防失智腦,IQ和EQ大進步的關鍵(運動教學指定用書)【活化大腦4.0版】
作者:約翰.瑞提 (John J. Ratey MD, Eric Hagerman)
出版社:野人
出版日期:2021-05-26
66折: $ 277 
金石堂 - 今日66折
阿若優的星盤詮釋指南(二版)
作者:史蒂芬.阿若優
出版社:木馬文化事業有限公司
出版日期:2020-10-21
66折: $ 238 
金石堂 - 今日66折
我的孩子是憂鬱,還是不開心?:變懶、易怒、冷漠、抗壓性低?這是少年的必經過程,還是情緒生病了?二者都需要辨識與處理
作者:楊意
出版社:任性出版有限公司
出版日期:2024-02-29
66折: $ 257 
 
Taaze 讀冊生活 - 暢銷排行榜
生命中最大的寶藏就是你自己Stand by Yourself(特殊扉頁限量親簽版)
作者:曾寶儀
出版社:遠見天下文化出版股份有限公司
出版日期:2024-10-31
$ 331 
博客來 - 暢銷排行榜
原子習慣:細微改變帶來巨大成就的實證法則
作者:詹姆斯‧克利爾 (James Clear)
出版社:方智
出版日期:2019-06-01
$ 260 
Taaze 讀冊生活 - 暢銷排行榜
氣質系硬筆1000字帖
作者:郭仕鵬
出版社:朱雀文化事業有限公司
出版日期:2018-07-03
$ 221 
金石堂 - 暢銷排行榜
你願意,人生就會值得:蔡康永的情商課3
作者:蔡康永
出版社:如何出版社
出版日期:2024-08-01
$ 316 
 
博客來 - 新書排行榜
童話裡的心理學
作者:鐘穎
出版社:楓樹林出版社
出版日期:2024-11-01
$ 331 
博客來 - 新書排行榜
學霸作文:建中臺大高材生,教你學測國寫拿A+
作者:詹佳鑫
出版社:遠流
出版日期:2024-09-27
$ 316 
金石堂 - 新書排行榜
四季姊妹 無修正
作者:あきのそら
出版社:未來數位有限公司
出版日期:2024-10-30
$ 253 
博客來 - 新書排行榜
把日子慢慢變好
出版日期:2024-11-01
$ 331 
 

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