Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings
暫譯: 綜合形式方法：第19屆國際會議 IFM 2024，英國曼徹斯特，2024年11月13-15日，會議論文集

Kosmatov, Nikolai, Kovács, Laura

Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings
  • 出版商: Springer
  • 出版日期: 2024-11-13
  • 售價: $5,590
  • 貴賓價: 9.5 折 $5,311
  • 語言: 英文
  • 頁數: 328
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031765532
  • ISBN-13: 9783031765537

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

相關主題

商品描述

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.

The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

商品描述(中文翻譯)

本卷 LNCS 是第十九屆國際綜合形式方法會議（IFM 2024）的經過審核的會議論文集，會議於 2024 年 11 月 13 日至 15 日在英國曼徹斯特舉行。

本卷中呈現的 19 篇完整論文是從 58 篇投稿中仔細審核和選出的。會議專注於綜合技術設計的各個方面，包括語言設計、驗證與確認、自動化工具支持，以及在軟體工程實踐中使用這些技術。

類似商品