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

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium: 12th International Symposium, Isol

的圖書
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium: 12th International Symposium, Isol Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium: 12th International Symposium, Isol

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

內容簡介

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.

This volume, Part I, contains the proceedings of the Colloquium in honor of Rocco De Nicola’s 70th birthday, held jointly with the ISOLA 2024’s track on REoCAS (Rigorous Engineering of Collective Adaptive Systems). Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification. The Colloquium features one homage paper and 23 contributions from invited authors who reflected upon these developments within the context of Rocco’s much broader legacy in concurrency theory, distributed systems, domain-specific languages, service-oriented computing, and formal methods, exploring his recent
contributions to cybersecurity.

 

詳細資料

  • ISBN:9783031737084
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
你是誰就會遇見誰:愛情靠天意,但更需要人為,為每個希望進入親密關係的人找出路。
作者:段鑫星
出版社:大是文化有限公司
出版日期:2024-03-27
66折: $ 257 
金石堂 - 今日66折
與土地共舞:發掘臺南人文與環境的古今事
作者:楊小青、簡汎傑、戴怡安、鄭
出版社:大石國際文化
出版日期:2023-06-15
66折: $ 383 
金石堂 - 今日66折
K線聖經:40年股市實戰、完整分析51種圖表、抓出15個轉機徵兆,你比市場更早看出買賣行情
作者:岩本秀雄
出版社:大是文化有限公司
出版日期:2016-11-02
66折: $ 238 
金石堂 - 今日66折
【念力的祕密系列(三冊)】:《八的力量》、《念力的科學》、《鍵結效應(隨書附贈:16週鍵結實踐手冊)》
作者:琳恩.麥塔格特
出版社:橡實
出版日期:2020-08-03
66折: $ 825 
 
博客來 - 暢銷排行榜
少年來了【新裝紀念版】
作者:韓江 (한강)
出版社:漫遊者文化
出版日期:2023-06-19
$ 308 
金石堂 - 暢銷排行榜
陰陽眼見子(10)
作者:泉朝樹
出版社:台灣角川股份有限公司
出版日期:2024-11-07
$ 111 
Taaze 讀冊生活 - 暢銷排行榜
自學日語 看完這本就能說:專為華人設計的日語教材,50音+筆順+單字+文法+會話一次學會!(附QR CODE音檔)
作者:許心瀠
出版社:語研學院
出版日期:2020-12-10
$ 374 
博客來 - 暢銷排行榜
尋找安全的家:結構技師蔡榮根教你選好宅
作者:蔡榮根
出版社:天下文化
出版日期:2024-10-30
$ 355 
 
Taaze 讀冊生活 - 新書排行榜
2025【考前衝刺必備】家政概論與家庭教育[歷年試題+模擬考]:近年試題+全範圍模擬考(升科大四技二專)
作者:范穎芳
出版社:千華數位文化股份有限公司
出版日期:2024-09-05
$ 378 
金石堂 - 新書排行榜
東方的神話,四十多年的經濟奇蹟:玄空風水學—商業帝國的黃金定律
作者:吳海揚Master Wu
出版社:柿子文化事業有限公司
出版日期:2024-11-04
$ 356 
博客來 - 新書排行榜
Dr.STONE 新石紀 27完 (首刷附錄版)
作者:Boichi
出版社:東立
出版日期:2024-10-31
$ 99 
博客來 - 新書排行榜
百姓貴族 8
出版日期:2024-10-25
$ 153 
 

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