中图分类法:
TP311.5 版次:
题名:
Formal methods and software engineering : [ 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings /] / ,
其它题名:
ICFEM 2003
出版发行:
出版地: Berlin : 出版社: Springer, 出版日期: c2003.
载体形态:
xi, 681 p. : ill. ; 24 cm.
主题词:
Formal methods (Computer science)
主题词:
Software engineering
主要责任者:
Dong, Jin Song,
主要责任者:
Woodcock, Jim.