Fundamentals of Software Engineering: 11th Ifip Wg 2.2 International Conference, Fsen 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
暫譯: 軟體工程基礎：第11屆IFIP WG 2.2國際會議，FSEN 2025，瑞典瓦斯特羅斯，2025年4月7-8日，會議論文集

Hojjat, Hossein, Caltais, Georgiana

Fundamentals of Software Engineering: 11th Ifip Wg 2.2 International Conference, Fsen 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
  • 出版商: Springer
  • 出版日期: 2025-03-21
  • 售價: $5,980
  • 貴賓價: 9.5 折 $5,681
  • 語言: 英文
  • 頁數: 187
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031870530
  • ISBN-13: 9783031870538
  • 相關分類: 軟體工程

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

商品描述

This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7-8, 2025.

The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.

商品描述(中文翻譯)

本書為第11屆IFIP WG 2.2國際軟體工程基礎會議（FSEN 2025）的會議紀錄，會議於2025年4月7日至8日在瑞典的維斯特羅斯舉行。

本書收錄的11篇完整論文和1篇短文經過仔細審查和選擇，來自30篇投稿。這些論文涵蓋了形式方法的各個方面，特別強調促進其在工業中的應用並將其與實際工程實踐相結合。

類似商品