Foundations of software science and computation structures : Third International Conference, FOSSACS 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

ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory 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 comprisedv e conferences (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite...

Descripción completa

Detalles Bibliográficos

Autores Corporativos:	International conference on foundations of software science and computation structures :Berlin, European joint conferences on theory and practice of software (Autor)
Otros Autores:	Tiuryn, Jerzy (Director de publicación)
Formato:	Livre numérique
Lenguaje:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Colección:	Lecture notes in computer science 1784
Materias:	Génie logiciel Informatique Langages de programmation Systèmes, Analyse de Logiciels Logique symbolique et mathématique Logiciels > Développement Actes de congrès
Acceso en línea:	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, Third International Conference, FOSSACS 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, Jerzy Tiuryn (ed.), 2000, Berlin, Springer, 1 vol. (X-390 p.), Lecture notes in computer science, 3-540-67257-5 • Foundation of Software Science and Computation Structures, Texte imprimé, 9783662184943