中图分类法:
TP311.5 版次:
题名:
Formal methods and software engineering : [ 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /] / ,
出版发行:
出版地: Berlin ; 出版社: Springer, 出版日期: c2004.
载体形态:
xiii, 500 p. : ill. ; 24 cm.
主题词:
Formal methods (Computer science)
主题词:
Software engineering
主要责任者:
Davies, Jim,
主要责任者:
Schulte, Wolfram.
主要责任者:
Barnett, Mike,