Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings
暫譯: 綜合形式方法：第十五屆國際會議 IFM 2019，挪威卑爾根，2019年12月2-6日，會議論文集
Ahrendt, Wolfgang, Tapia Tarifa, Silvia Lizeth
- 出版商: Springer
- 出版日期: 2019-11-15
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 554
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030349675
- ISBN-13: 9783030349677
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
商品描述(中文翻譯)
本書為第十五屆國際綜合形式方法會議（IFM 2019）的經過審核的會議論文集，該會議於2019年12月在挪威卑爾根舉行。
25篇完整論文和3篇短文是從95篇投稿中仔細審核和選出的。這些論文涵蓋了廣泛的主題：從語言設計到驗證和分析技術，再到支持工具及其在軟體工程實踐中的整合，包括理論方法和實際實現。此外，還包括6篇「期刊優先」論文的擴展摘要。
