Programming languages and systems : 9th European Symposium on Programming, ESOP 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 April 2, 2000 : proceedings

ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS),...

Täydet tiedot

Bibliografiset tiedot

Yhteisötekijät:	European symposium on programming :Berlin, European joint conferences on theory and practice of software (Tekijä)
Muut tekijät:	Smolka, Gert (Päätoimittaja)
Aineistotyyppi:	Livre numérique
Kieli:	Anglais
Julkaistu:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Sarja:	Lecture notes in computer science 1782
Aiheet:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Actes de congrès
Linkit:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Huomautus:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Programming languages and systems, 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000, proceedings, Gert Smolka (ed.), 2000, Berlin, Springer, 1 vol. (XIII-428 p.), Lecture notes in computer science, 3-540-67262-1 • Programming Languages and Systems, Texte imprimé, 9783662203538