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

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc

的圖書
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc

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

內容簡介

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:9783031753893
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
馭我吧大神!美人過敏症師兄! 胸章2入組
66折: $ 99 
金石堂 - 今日66折
美國夢的悲劇:為何我們的進步運動總是遭到反撲?
作者:塔納哈希.科茨
出版社:衛城出版
出版日期:2019-09-11
66折: $ 297 
金石堂 - 今日66折
岩合光昭 與貓散步
66折: $ 231 
金石堂 - 今日66折
塔羅牌圖像的祕密:原是貴族聊天時用來看圖說故事,演變成全民熱愛的占卜工具。從歷史、神話、哲學、靈數學面向,看塔羅起源。
作者:讀賣新聞社美術導航取材班
出版社:大是文化有限公司
出版日期:2023-12-06
66折: $ 317 
 
金石堂 - 暢銷排行榜
我不會免費跟妳上床(4)
作者:檜原フキ
出版社:台灣角川股份有限公司
出版日期:2024-11-14
$ 111 
博客來 - 暢銷排行榜
抄寫英語的奇蹟:1天10分鐘,英語和人生都起飛
作者:林熙 Brett Lindsay
出版社:如何
出版日期:2024-03-01
$ 300 
Taaze 讀冊生活 - 暢銷排行榜
miffy潔膚柔濕巾-10抽(橘)
作者:新台
出版社:新台圖書
出版日期:2023-08-30
$ 18 
金石堂 - 暢銷排行榜
魔都精兵的奴隸 (首刷限定版) 16
作者:竹村洋平/
出版社:東立出版社
出版日期:2024-11-05
$ 162 
 
博客來 - 新書排行榜
小美老師如是說 5 (首刷限定版)
作者:鹿成徳策
出版社:東立
出版日期:2024-11-18
$ 219 
Taaze 讀冊生活 - 新書排行榜
【京都三部曲3】京都思路 (壽岳章子X澤田重隆攜手經典作,在台發行20周年金典珍藏)
作者:壽岳章子
出版社:馬可孛羅
出版日期:2024-11-07
$ 266 
金石堂 - 新書排行榜
緋色誘惑(07)完
作者:山根綾乃
出版社:尖端漫畫
出版日期:2024-11-21
$ 128 
 

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