購物比價找書網找車網
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折
怎麼會這麼萌?動物寶寶寫真書
作者:張東君
出版社:貓頭鷹出版社有限公司
出版日期:2014-09-02
66折: $ 172 
 
博客來 - 暢銷排行榜
魔都精兵的奴隸 16 (首刷限定版)
出版日期:2024-11-05
$ 162 
金石堂 - 暢銷排行榜
四季姊妹 無修正
作者:あきのそら
出版社:未來數位有限公司
出版日期:2024-10-30
$ 253 
金石堂 - 暢銷排行榜
明天可能會愛你(02)
作者:山下街
出版社:青文出版社股份有限公司
出版日期:2024-11-04
$ 111 
金石堂 - 暢銷排行榜
名偵探柯南(104)特別版
作者:青山剛昌
出版社:青文出版社股份有限公司
出版日期:2024-11-14
$ 157 
 
金石堂 - 新書排行榜
膽大黨 15
作者:龍幸伸
出版社:東立出版社
出版日期:2024-12-31
$ 105 
Taaze 讀冊生活 - 新書排行榜
讚美操,讓愛飛揚
作者:吳美雲
出版社:啟示
出版日期:2024-11-07
$ 300 
博客來 - 新書排行榜
出租女友 35 (首刷限定版)
作者:宮島禮吏
出版社:東立
出版日期:2024-11-15
$ 133 
博客來 - 新書排行榜
張忠謀自傳全集(上下冊)
作者:張忠謀
出版社:天下文化
出版日期:2024-11-29
$ 869 
 

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