Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
Lecture Notes in Computer Science
Liu, Zhiming (EDT)
He, Jifeng (EDT)
- 出版社：Springer
- 出版年月：2007年 01月
- ISBN：9783540474609
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：778 p.
- 分類： ソフトウェア工学
- DDC分類：005