中图分类法:	TP311.52 版次：
题名:	Integration of software specification techniques for applications in engineering : [ Priority Program SoftSpez of the German Research Foundation (DFG) : final report /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2004.
载体形态:	x, 628 p. : ill. ; 24 cm.
附注:	"...some of which were presented at the third international workshop INT 2004 on "Integration of Software Specification Techniques for Applications in Engineering."--preface.
主题词:	Computer software Development Germany
主题词:	Computer software Specifications Germany
主题词:	Production engineering Technological innovations Germnay
主题词:	Traffic engineering Technological innovations Germany
主题词:	Engineering Software Germany
主要责任者:	Ehrig, Hartmut.