Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 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 was 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 comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13...

Deskribapen osoa

Xehetasun bibliografikoak

Egile korporatiboa:	International conference on tools and algorithms for the construction and analysis of systems :Grenoble, European joint conferences on theory and practice of software (Egilea)
Beste egile batzuk:	Katoen, Joost-Pieter (Argitalpenaren zuzendaria), Stevens, Perdita (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 2280
Gaiak:	Génie logiciel Informatique Algorithmes Systèmes, Conception de Réseaux d'ordinateurs Logiciels > Développement Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Tools and algorithms for the construction and analysis of systems, 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002, proceedings, Joost-Pieter Katoen, Perdita Stevens (eds.), New York, Springer, 2002, 1 vol. (XIII-482 p.), Lecture notes in computer science, 3-540-43419-4 • Tools and Algorithms for the Construction and Analysis of Systems, Texte imprimé, 9783662183243