Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, ... (Lecture Notes in Computer Science)
暫譯: 形式方法與軟體工程：第九屆國際形式工程方法會議，ICFEM 2007，美國佛羅里達州博卡拉頓，2007年11月14-15日...（計算機科學講義）

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, ... (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2007-11-07
  • 售價: $2,400
  • 貴賓價: 9.5 折 $2,280
  • 語言: 英文
  • 頁數: 387
  • 裝訂: Paperback
  • ISBN: 3540766480
  • ISBN-13: 9783540766483
  • 相關分類: Computer-Science、軟體工程

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

商品描述(中文翻譯)

本書為第九屆國際正式工程方法會議（ICFEM 2007）的經過審核的會議論文集，會議於2007年11月14日至15日在美國佛羅里達州的博卡拉頓舉行。19篇經過修訂的完整論文以及兩篇邀請演講經過仔細審核和選擇，這些論文是從38篇投稿中挑選出來的。這些論文涵蓋了正式方法及其在軟體工程中應用的所有當前議題。論文按主題區分組織。

類似商品