FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings

This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). The conference was held at the Indi...

Szczegółowa specyfikacja

Opis bibliograficzny

Korporacja:	Conference on foundations of software technology and theoretical computer science :Kanpur
Kolejni autorzy:	Seth, Anil, 1972- (Dyrektor wydawnictwa), Agrawal, Manindra, 1966- (Dyrektor wydawnictwa)
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science 2556
Hasła przedmiotowe:	Génie logiciel Informatique Algorithmes Langages de programmation Logique symbolique et mathématique Actes de congrès
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	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 2002, foundations of software technology and theoretical computer science, 22nd conference, Kanpur, India, December 12-14, 2002, proceedings, Manindra Agrawal, Anil Seth (eds.), Berlin, Springer, 2002, 1 vol. (XI-359 p.), Lecture notes in computer science, 3-540-00225-1 • FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, Texte imprimé, 9783662214039