Programming languages and systems : 11th European Symposium on Programming, ESOP 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 12, 2002 : proceedings

ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory 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 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite w...

Descrizione completa

Dettagli Bibliografici

Enti autori:	European symposium on programming :Grenoble, European joint conferences on theory and practice of software (Autore)
Altri autori:	Le Métayer, Daniel, 1959- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 2305
Soggetti:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Structures de données (informatique) Actes de congrès
Accesso 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
Nota:	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, 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, proceedings, Daniel Le Métayer (ed.), Berlin, Springer, 2002, 1 vol. (XII-329 p.), Lecture notes in computer science, 3-540-43363-5 • Programming Languages and Systems, Texte imprimé, 9783662190784