Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

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

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	International conference on foundations of software science and computation structures :Grenoble, European joint conferences on theory and practice of software (Autor)
Altres autors:	Nielsen, Mogens, 1949- (Director editorial), Engberg, Uffe, 19..- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 2303
Matèries:	Génie logiciel Informatique Langages de programmation Logique symbolique et mathématique Logiciels > Développement Actes de congrès
Accés en línia:	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:	• Foundations of software science and computation structures, 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, proceedings, Mogens Nielsen, Uffe Engberg (eds.), Berlin, Springer, 2002, 1 vol. (XIII-433 p.), Lecture notes in computer science, 3-540-43366-X • Foundations of Software Science and Computation Structures, Texte imprimé, 9783662165805