Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024
暫譯: 形式方法與軟體工程：第25屆國際形式工程方法會議 ICFEM 2024，2024年12月2日至6日，日本廣島

Ogata, Kazuhiro, Mery, Dominique, Sun, Meng

Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024
  • 出版商: Springer
  • 出版日期: 2024-11-29
  • 售價: $3,250
  • 貴賓價: 9.5 折 $3,088
  • 語言: 英文
  • 頁數: 410
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 9819606160
  • ISBN-13: 9789819606160
  • 相關分類: 軟體工程

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

商品描述

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.

The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods

商品描述(中文翻譯)

本卷 LNCS 15394 是第 25 屆國際正式工程方法會議（ICFEM 2024）在日本廣島於 2024 年 12 月舉行的經過審核的會議論文集。

本次會議共呈現 22 篇完整論文，這些論文是從 50 篇投稿中仔細審核和選出的。會議的重點涵蓋廣泛的研究領域，包括正式工程方法的理論基礎和實際應用。

類似商品

最後瀏覽商品 (16)