中图分类法:
TP311.5 版次:
题名:
Formal methods and software engineering : [ 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /] / ,
其它题名:
7th International Conference on Formal Engineering Methods.
其它题名:
International Conference on Formal Engineering Methods.
其它题名:
ICFEM 2005.
出版发行:
出版地: Berlin ; 出版社: Springer, 出版日期: c2005.
载体形态:
xiv, 496 p. : ill. ; 24 cm.
主题词:
Formal methods (Computer science)
主题词:
Software engineering
主要责任者:
Lau, K.-K.
主要责任者:
Banach, Richard.