中图分类法:	TP311.5 版次：
题名:	Foundations of software science and computational structures : [ 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /] / ,
其它题名:	FOSSACS 2008
其它题名:	TEAPS 2008
其它题名:	Joint European Conferences on Theory and Practice of Software
其它题名:	European Joint Conferences on Theory and Practice of Software 2008
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2008.
载体形态:	xv, 504 p. : ill. ; 24 cm.
主题词:	System analysis
主要责任者:	Amadio, Roberto M.
次要责任者:	ETAPS 2008