購物比價找書網找車網
FindBook  
 有 1 項符合

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

的圖書
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

出版社:Springer
出版日期:2024-10-26
語言:英文   規格:平裝 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 4499
博客來 博客來
應用軟體與開發工程
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

內容簡介

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

 

詳細資料

  • ISBN:9783031753862
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
20歲的人脈力養成講座:成功約到1000位企業主的實用心理技巧,讓技術、資金、情報集結到你身邊
作者:内田雅章
出版社:木馬文化事業有限公司
出版日期:2022-01-05
66折: $ 211 
金石堂 - 今日66折
先知:中英文收藏
作者:紀伯侖
出版社:木馬文化事業有限公司
出版日期:2014-07-02
66折: $ 185 
金石堂 - 今日66折
爸媽不用逼的高效讀書法:哈佛、史丹佛、耶魯大學實證,不用刻意努力也能提高成績。
作者:菊池洋匡
出版社:大是文化有限公司
出版日期:2022-08-31
66折: $ 238 
金石堂 - 今日66折
內部的真相
作者:日影丈吉
出版社:衛城出版
出版日期:2023-03-15
66折: $ 251 
 
金石堂 - 暢銷排行榜
世界上最透明的故事(日本出版界話題作,只有紙本書可以體驗的感動)
作者:杉井光
出版社:皇冠文化出版有限公司
出版日期:2024-09-30
$ 284 
博客來 - 暢銷排行榜
敗北女角太多了! 7 (首刷限定版)
作者:雨森焚火
出版社:東立
出版日期:2024-10-08
$ 252 
博客來 - 暢銷排行榜
學霸作文:建中臺大高材生,教你學測國寫拿A+
作者:詹佳鑫
出版社:遠流
出版日期:2024-09-27
$ 316 
Taaze 讀冊生活 - 暢銷排行榜
長期買進︰財金教授周冠男的42堂自制力投資課
作者:周冠男
出版社:遠見天下文化出版股份有限公司
出版日期:2024-07-31
$ 355 
 
博客來 - 新書排行榜
魔都精兵的奴隸 16 (首刷限定版)
$ 153 
金石堂 - 新書排行榜
熊熊勇闖異世界(11)漫畫
作者:せるげい
出版社:台灣角川股份有限公司
出版日期:2024-11-07
$ 111 
Taaze 讀冊生活 - 新書排行榜
從生產力到獲利:亞洲製造商進軍美國零售市場的策略
作者:陳坤廷
出版社:白象文化事業有限公司
出版日期:2024-11-01
$ 266 
博客來 - 新書排行榜
特殊傳說Ⅲ vol.09
作者:護玄
出版社:蓋亞
出版日期:2024-10-16
$ 236 
 

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