Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 202
暫譯: 形式方法與軟體工程：第26屆國際形式工程方法會議 ICFEM 2025，中國杭州，2025年11月10日至13日

Name: Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 202
Price: 3278 TWD
Availability: OnlineOnly
Author: André, Étienne, Wang, Jingyi, Zhan, Naijun
ISBN: 981954212X

André, Étienne, Wang, Jingyi, Zhan, Naijun

Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 202

出版商: Springer
出版日期: 2025-11-12
售價: $3,450
貴賓價: 9.5 折 $3,278
語言: 英文
頁數: 392
裝訂: Quality Paper - also called trade paper
ISBN: 981954212X
ISBN-13: 9789819542123
相關分類: 軟體工程

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

商品描述

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10-13, 2025.

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