中图分类法:
TP311.5 版次:
题名:
Formal methods and software engineering : [ 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 ; proceedings /] / ,
其它题名:
ICFEM 2008
出版发行:
出版地: Berlin : 出版社: Springer, 出版日期: 2008.
载体形态:
xi, 396 p. : ill. ; 24 cm.
主题词:
Formal methods (Computer science)
主题词:
Software engineering
主要责任者:
Maibaum, Thomas S. E.,
主要责任者:
Liu, Shaoying,
主要责任者:
Araki, Keijirō,