Tools and algorithms for the construction and analysis of systems : :: SCD d'Orléans

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice o...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Coauteur:	International conference on tools and algorithms for the construction and analysis of systems :Barcelona, Spain
Andere auteurs:	Jensen, Kurt, 1950- (Publishing director), Podelski, Andreas, 19..- (Publishing director)
Formaat:	Livre numérique
Taal:	Anglais
Gepubliceerd in:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Reeks:	Lecture notes in computer science 2988
Onderwerpen:	Génie logiciel Informatique Algorithmes Systèmes, Conception de Réseaux d'ordinateurs Logiciels > Développement Actes de congrès
Online toegang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Opmerking:	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, 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004, proceedings, Kurt Jensen, Andreas Podelski (eds.), Berlin, Springer, 2004, 1 vol. (XIV-608 p.), Lecture notes in computer science, 3-540-21299-X • Tools and Algorithms for the Construction and Analysis of Systems, Texte imprimé, 9783662186367

Gelijkaardige items

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 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

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

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 11, 2003 : proceedings

Tools and algorithms for the construction and analysis of sytems : 4th International Conference, TACAS '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 29, 1996 : proceedings

Tools and algorithms for the construction and analysis of systems : third international Workshop, TACAS '97 Enschede, The Netherlands, April 2 4, 1997 : proceedings

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19 20, 1995 : selected papers

Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Compiler construction : 13th International Conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings

Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
door: Wermelinger, Michel, 1966-

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
door: Llamosí, Albert

Algorithm engineering : 3rd International Workshop, WAE 99 London, UK, July 19 21, 1999 : proceedings

High-performance comupting and networking : 7th international conference, HPCN Europe, 1999, Amsterdam, The Netherlands, April 12 14, 1999 : proceedings

Mobile agents : control algorithms
door: Baumann, Joachim, 1965-

High-performance computing and networking : international conference and exhibition, Amsterdam, The Netherlands, April 21 23, 1998 : proceedings

TAPSOFT'93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrücken, Germany, September 2000 : proceedings

Algorithm engineering : 5th International Workshop, WAE 2001, Århus, Denmark, August 28 31, 2001 : proceedings

High-Performance Computing and Networking : International Conference and Exhibition, HPCN EUROPE 1996, Brussels, Belgium, April 15-19, 1996 : proceedings

SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 29, 2002 : proceedings

High performance computing and networking : 8th international conference, HPCN Europe, 2000, Amsterdam, The Netherlands, May 8-10, 2000 : proceedings

Multiagent system technologies : second German conference, MATES 2004, Erfurt, Germany, september 29-30, 2004 : proceedings
door: Lindemann, Gabriela

High-performance computing and networking : 9th international conference, HPCN Europe, 2001, Amsterdam, The Netherlands, June 25-27, 2001 : proceedings

SOFSEM'98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21 27, 1998 : proceedings

SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 : proceedings

Software reuse : ; proceedings methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004

Testing of communicating systems : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Wireless sensor networks : First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004 : proceedings
door: Karl, Holger, 1970-

Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings
door: De Nicola, Rocco

Grid computing : Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004 : revised papers
door: Dikaiakos, Marios D., 1965

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings

Applied computing : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004 : proceedings
door: Manandhar, Suresh

Mobile agents : 6th International conference, MA 2002, Barcelona, Spain, October 22-25, 2002 : proceedings

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Software process improvement : 11th european conference, EuroSPI 2004, Trondheim, Norway, november 10-12, 2004 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales