Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Lecture Notes in Computer Science Vol.3308
Ed. by Jim Davies, Wolfram Schulte a. Mike Barnett
- 出版社：Springer, Berlin
- 出版年月：2004年 00月
- ISBN：9783540238416
- 装丁：HRD
-
装丁について
- 言語：ENG
- 版次：2004. XIII
- 巻数・ページ数：500 p.
- 分類： ソフトウェア工学