FST TCS 2001 : foundations of software technology and theoretical computer science : 21st Conference, Bangalore, India, December 13 15, 2001 : proceedings

This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). This year s conference attracted 73 su...

ver descrição completa

Detalhes bibliográficos

Autor Corporativo:	Conference on foundations of software technology and theoretical computer science :Bangalore
Outros Autores:	Vinay, V. (Directeur de la publication), Mukund, Madhavan (Directeur de la publication), Hariharan, Ramesh (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado em:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Colecção:	Lecture notes in computer science 2245
Assuntos:	Génie logiciel Informatique Algorithmes Langages de programmation Logiciels Logique symbolique et mathématique Actes de congrès
Acesso em linha:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st conference, Bangalore, India, December 13-15, 2001, Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.), Berlin, Springer, 2001, 1 vol. (XI-346 p.), Lecture notes in computer science, 3-540-43002-4 • FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, Texte imprimé, 9783662205396