中图分类法:	TP311-532 版次：
题名:	Tools and algorithms for the construction and analysis of systems : [ 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /] / ,
其它题名:	TACAS 2004
出版发行:	出版地： Berlin ; 出版社： Springer-Verlag, 出版日期： c2004.
载体形态:	xiv, 608 p. : ill. ; 24 cm.
主题词:	System design
主题词:	Computer software Development
主要责任者:	Jensen, K.
主要责任者:	Podelski, Andreas.
次要责任者:	European Conferences on Theory and Practice of Software