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

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 : third international Workshop, TACAS '97 Enschede, The Netherlands, April 2 4, 1997 : proceedings

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully sele...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Coauteur:	International conference on tools and algorithms for the construction and analysis of systems :Enschede, Pays-Bas
Andere auteurs:	Brinksma, Ed (Publishing director)
Formaat:	Livre numérique
Taal:	Anglais
Gepubliceerd in:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Reeks:	Lecture notes in computer science 1217
Onderwerpen:	Génie logiciel Informatique Systèmes, Analyse de Systèmes, Conception de Réseaux d'ordinateurs 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, third International Workshop, TACAS ±97, Enschede, The Netherlands, April 2-4, 1997, proceedings, Ed Brinksma (ed.), 1997, Berlin, Springer, 1 vol. (X-431 p.), Lecture notes in computer science, 3-540-62790-1 • Tools and Algorithms for the Construction and Analysis of Systems, Texte imprimé, 9783662167571

Gelijkaardige items

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 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 : 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 systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19 20, 1995 : selected papers

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 : 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

Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings

Performance evaluation of complex systems : techniques and tools : Performance 2002 tutorial lectures
door: Calzarossa, Maria Carla, 1958-

Advances in exception handling techniques
door: Romanovsky, Alexander, 1954-

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

Performance evaluation : origins and directions
door: Haring, Günter, 1943-

Advanced environments, tools, and applications for cluster computing : NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1 6, 2001 : revised papers
door: Nicolau, Alex, 19..-
Gepubliceerd in: (2003)

Distributed algorithms : 6th international workshop, WDAG '92, Haifa, Israel, November 2-4, 1992 : proceedings

Object-oriented technology : ECOOP '98 workshop reader : ECOOP '98 workshops, demos, and posters, Brussels, Belgium, July 20 24, 1998 : proceedings

Mobile agents : First International Workshop, MA '97, Berlin, Germany, April 7 8, 1997 : proceedings

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

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

Parallel computing technologies : third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings

Testing of communicating systems : 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003 : proceedings

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003 : proceedings

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

Networking 2004 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004 : proceedings
door: Mitrou, Nikolas

Metalevel architectures and separation of crosscutting concerns : third international conference, REFLECTION 2001 Kyoto, Japan, September 25 28, 2001 : proceedings

Networking 2002 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002 : proceedings
Gepubliceerd in: (2007)

Mobile data management : 4th international conference, MDM 2003, Melbourne, Australia, January 21-24, 2003 : proceedings

Dependable computing - EDCC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15 17, 1999 : proceedings

Cooperative design, visualization, and engineering : first international conference, CDVE 2004, Palma de Mallorca, Spain, september 19-22, 2004 : proceedings

Global computing : programming environments, languages, security, and analysis of systems : IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers

Intelligent systems and soft computing : prospects, tools and applications
door: Azvine, Behnam

Object-oriented technology : ECOOP 2002 workshop reader : ECOOP 2002 workshops and posters, Málaga, Spain, June 10-14, 2002 : proceedings

Advances in computing science - ASIAN 2002 : Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedings

Object-oriented technology : ECOOP 2001 Workshop Reader : ECOOP 2001 workshops, panels, and posters, Budapest, Hungary, June 18 22, 2001 : proceedings
Gepubliceerd in: (2003)

Performance tools and applications to networked systems : revised tutorial lectures
door: Calzarossa, Maria Carla, 1958-

Security engineering with patterns : origins, theoretical model, and new applications
door: Schumacher, Markus

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16 20, 1997 : proceedings

Grid Computing - GRID 2000 : First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 : 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