購物比價找書網找車網
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折
當下的力量系列新版套書(三冊):《當下的力量【書+牌卡】典藏盒裝版》+《當下的覺醒(三版)》
作者:艾克哈特.托勒
出版社:橡實
出版日期:2023-04-06
66折: $ 898 
金石堂 - 今日66折
喚醒世界的香味
作者:伊萊莎貝塔.意利
出版社:大石國際文化
出版日期:2013-11-15
66折: $ 383 
金石堂 - 今日66折
人生無言時讀老子:在人生轉捩點,老莊思想給你的40則新指引
作者:田口佳史
出版社:木馬文化事業有限公司
出版日期:2016-06-01
66折: $ 198 
金石堂 - 今日66折
馬上就能用的超強記憶法:記憶是考試、學習、成為能人的根本,用你熟悉的舊串起上百個新,不用一個月,人生各方面彎道超車。
作者:吳瓊
出版社:任性出版有限公司
出版日期:2024-04-29
66折: $ 257 
 
博客來 - 暢銷排行榜
隱性潛能:華頓商學院最具影響力教授,突破天賦極限的實證科學【博客來獨家版.附人生領航指南書】
作者:亞當.格蘭特
出版社:平安文化
出版日期:2024-07-29
$ 379 
Taaze 讀冊生活 - 暢銷排行榜
底層邏輯:看清這個世界的底牌
作者:劉潤
出版社:時報文化出版企業股份有限公司
出版日期:2022-03-29
$ 316 
博客來 - 暢銷排行榜
持續買進:資料科學家的投資終極解答,存錢及致富的實證方法
作者:尼克.馬朱利 (Nick Maggiulli)
出版社:商業周刊
出版日期:2023-05-30
$ 316 
Taaze 讀冊生活 - 暢銷排行榜
素食者【亞洲首部榮獲國際曼布克獎作品】
作者:韓江
出版社:漫遊者文化
出版日期:2023-05-10
$ 300 
 
博客來 - 新書排行榜
陰界黑幫【卷十三】
作者:Div
出版社:春天出版社
出版日期:2024-10-31
$ 300 
金石堂 - 新書排行榜
青梅竹馬是墮落聖女!(2)
作者:ショーソン
出版社:台灣角川股份有限公司
出版日期:2024-11-07
$ 111 
Taaze 讀冊生活 - 新書排行榜
2025【白話易懂好記】郵政三法大意──逐條白話解構(專業職/內勤)
作者:畢慧
出版社:千華數位文化股份有限公司
出版日期:2024-08-25
$ 441 
 

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