科图分类法:	QA76 L47 no. 2245 版次：
中图分类法:	TP311-532 版次：
题名:	FST TCS 2001 : [ foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings /] / ,
其它题名:	Foundations of Software Technology and Theoretical Computer Science.
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2001.
载体形态:	xi, 346 p. : ill. ; 24 cm.
附注:	"Proceedings of the 21st International Conference on the Foundations of Software Technology and Theoretical Computer Science"--Pref.
主题词:	Software engineering
主题词:	Computer science
主要责任者:	Hariharan, Ramesh.
主要责任者:	Mukund, Madhavan.
主要责任者:	Vinay, V.