Exemplaires: FST TCS 2000 :

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	Conference on foundations of software technology and theoretical computer science :New Delhi
Autres auteurs:	Kapoor, Sanjiv, 1959- (Directeur de la publication), Prasad, Sanjiva (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1974
Sujets:	Génie logiciel Informatique Algorithmes Langages de programmation Logique symbolique et mathématique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	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 2000, foundations of software technology and theoretical computer science, 20th conference, New Delhi, India, December 13-15, 2000, proceedings, Sanjiv Kapoor, Sanjiva Prasad (eds.), 2000, Berlin, Springer, 1 vol. (XIII-532 p.), Lecture notes in computer science, 3-540-41413-4 • FST TCS 2000: Foundations of Software Technology and Theoretical Science, Texte imprimé, 9783662203217