Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science)
暫譯: 軟體工程與形式方法：第十三屆國際會議，SEFM 2015，英國約克，2015年9月7-11日。會議論文集（計算機科學講義）

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2015-08-21
  • 售價: $2,400
  • 貴賓價: 9.5 折 $2,280
  • 語言: 英文
  • 頁數: 384
  • 裝訂: Paperback
  • ISBN: 3319229680
  • ISBN-13: 9783319229683
  • 相關分類: Computer-Science、軟體工程

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.

The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

商品描述(中文翻譯)

本書為第十三屆國際軟體工程與形式方法會議（SEFM 2015）的經過審核的會議論文集，該會議於2015年9月在英國約克舉行。

共提交了96篇論文，經過仔細審核後，最終選出了17篇完整論文、2篇邀請論文和6篇短文。感興趣的主題包括軟體工程和形式方法的以下幾個方面：程式驗證、測試、認證、形式規範與證明、測試與模型檢查、規劃、建模及模型轉換。

類似商品