購物比價找書網找車網
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折
長崎
作者:艾力克.菲耶
出版社:衛城出版
出版日期:2020-05-06
66折: $ 185 
金石堂 - 今日66折
陽宅生基512套範例(不可退書)
作者:韓雨墨
出版社:大元書局
出版日期:2010-06-29
66折: $ 199 
金石堂 - 今日66折
玫瑰聖經圖譜解讀
66折: $ 581 
 
金石堂 - 暢銷排行榜
特殊傳說Ⅲ vol.09
作者:護玄
出版社:蓋亞文化有限公司
出版日期:2024-10-16
$ 236 
博客來 - 暢銷排行榜
素食者【亞洲首部榮獲國際曼布克獎作品】
作者:韓江 (한강)
出版社:漫遊者文化
出版日期:2023-05-08
$ 300 
金石堂 - 暢銷排行榜
閃亮的金句:尋找滄海遺珠
作者:盧勝彥
出版社:財團法人真佛般若藏文教基金會
出版日期:2024-11-07
$ 205 
金石堂 - 暢銷排行榜
我不會免費跟妳上床(5)
作者:檜原フキ
出版社:台灣角川股份有限公司
出版日期:2024-11-14
$ 111 
 
金石堂 - 新書排行榜
What Does the Fox Say?狐狸說了什麼?03
作者:팀가지
出版社:長鴻出版社股份有限公司
出版日期:2024-11-22
$ 316 
博客來 - 新書排行榜
膽大黨 15 (首刷限定版)
作者:龍幸伸
出版社:東立
出版日期:2024-11-15
$ 221 
Taaze 讀冊生活 - 新書排行榜
【京都三部曲2】喜樂京都(壽岳章子X澤田重隆攜手經典作,在台發行20周年金典珍藏)
作者:壽岳章子
出版社:馬可孛羅
出版日期:2024-11-07
$ 280 
博客來 - 新書排行榜
霰草忍法帖(07)
出版日期:2024-11-18
$ 110 
 

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