Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
暫譯: 形式方法 - 未來30年：第三屆世界會議，FM 2019，葡萄牙波爾圖，2019年10月7-11日，會議論文集

Ter Beek, Maurice H., McIver, Annabelle, Oliveira, Jose N.

Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
  • 出版商: Springer
  • 出版日期: 2019-09-15
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 774
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 303030941X
  • ISBN-13: 9783030309411

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.

The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.

商品描述(中文翻譯)

本書為2019年10月在葡萄牙波爾圖舉行的第23屆形式方法研討會（FM 2019）的經過審核的會議論文集，該研討會以第三屆世界形式方法大會的形式進行。

共提交了129篇論文，經過仔細審核後，選出了44篇完整論文和3篇邀請報告。這些論文按照主題分為以下幾個部分：邀請報告；驗證；合成技術；併發；模型檢查馬戲團；模型檢查；分析技術；規範語言；推理技術；建模語言；基於學習的技術與應用；重構與重新編程；I-Day報告。

類似商品