Stepwise refinement of distributed systems : :: SCD d'Orléans

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active r...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	REX workshop :Mook, Pays-Bas
Awduron Eraill:	Bakker, Jacobus Willem de, 1939- (Cyfarwyddwr cyhoeddi), Roever, Willem-Paul de, 1943- (Cyfarwyddwr cyhoeddi), Rozenberg, Grzegorz, 1942- (Cyfarwyddwr cyhoeddi)
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in computer science 430
Pynciau:	Informatique Traitement réparti Ordinateurs Réseaux d'ordinateurs Actes de congrès
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Stepwise refinement of distributed systems, models, formalisms, correctness, REX workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings, J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.), Berlin, Springer-Verlag, 1990, 1 vol. (X-808 p.), Lecture notes in computer science, 0-387-52559-9 • Stepwise Refinement of Distributed Systems, Texte imprimé, 9783662163795

Eitemau Tebyg

Progress in distributed operating systems and distributed systems management : European workshop, Berlin, FRG, April 18-19, 1989 : proceedings

Policies for distributed systems and networks : international workshop, POLICY 2001, Bristol, UK, January 29-31, 2001 : proceedings

Distributed algorithms : 8th International Workshop, WDAG '1994, Terschelling, The Netherlands, September 29 October 1, 1994 : proceedings

Advances in distributed systems : advanced distributed computing : from algorithms to systems
gan: Krakowiak, Sacha, 1937-...., informaticien

Distributed systems : methods and tools for specification : an advanced course
gan: Alford, Mack W., et al.

Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings

Distributed algorithms : 7th International Workshop, WDAG'93, Lausanne, Switzerland, September 27 29, 1993 : proceedings

Distributed computing : 18th international conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004 : proceedings

Distributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : proceedings

Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers

Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings

Distributed algorithms : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24 26, 1997 : proceedings

Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings

Distributed computing : 13th International Symposium, DISC 99 Bratislava, Slovak Republic September 27 29, 1999 : proceedings

Cooperative environments for distributed systems engineering : the distributed systems environment report
gan: Drira, Khalil, 19..-

Trends in distributed systems : CORBA and beyond : International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996 : 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

Future directions in distributed computing : research and position papers
gan: Schiper, André, 1949-

The MOSIX distributed operating system : load balancing for UNIX
gan: Barak, Amnon, et al.

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

Distributed computing : 12th international symposium, DISC 98 Andros, Greece, September 24 26, 1998 : proceedings

Distributed computing : 14th International Conference, DISC 2000 Toledo, Spain, October 4 6, 2000 : proceedings

Distributed computing : 16th international conference, DISC 2002, Toulouse, France, October 28-30, 2002 : proceedings

Distributed computing : 17th international conference, DISC 2003, Sorrento, Italy, October 1-3, 2003 : proceedings

Protocols and systems for interactive distributed multimedia : joint international workshops on interactive distributed multimedia systems and protocols for multimedia systems, IDMS/PROMS 2002, Coimbra, Portugal, November 26-29, 2002 : 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

Principles of distributed systems : 7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers

DCE - the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings

Disconnected operation in a distributed file system
gan: Kistler, James Jay, 19..-

Parallel and distributed computing : theory and practice : first Canada-France conference, Montréal, Canada, May 19-21, 1994 : proceedings
gan: Cosnard, Michel, 1952-...., informaticien

Fault-tolerant distributed computing
gan: Simons, Barbara

Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings

Object-based parallel and distributed computation : France-Japan Workshop, OBPDC ±95, Tokyo, Japan, June 21 23, 1995 : selected papers

Distributed communities on the Web : Third International Workshop, DCW 2000, Quebec City, Quebec, Canada, June 19-21, 2000 : proceedings

Parallel and distributed processing and applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2 4, 2003 : proceedings

Distributed applications and interoperable systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003 : proceedings

Distributed computing - IWDC 2003 : 5th international workshop, Kolkata, India, December 27-30, 2003 : proceedings

Self-managing distributed systems : 14th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003 : proceedings

Scientific engineering of distributed Java applications : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
gan: Guelfi, Nicolas, 1965-

Gestion des données réparties : problèmes et protocoles
gan: Raynal, Michel, 1949-...., informaticien
Cyhoeddwyd: (1992)

© 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