TY - BOOK AU - Agrawal Manindra ed. ED - Conference FSTTCS 2002 on Foundations of Software Technology and Theoretical Computer Science (22nd : 12-14 Dec 2002 : kanpur,India) ED - Conference FSTTCS 2002 on foundations of software technology and theoretical computer science TI - FSTTCS 2002: foundations of software technology and theoretical computer science: proceedings SN - 3-540-00225-1 U1 - 5.3 PY - 2002/// CY - Berlin PB - Springer-Verlag KW - Computer software KW - Software technology ER -