Specification and design of software systems : :: SCD d'Orléans

Specification and design of software systems : Conference on operating systems, Visegrad, Hungary, January 23 27, 1982 : proceedings

Specification and design of software systems : Conference on operating systems, Visegrad, Hungary, January 23 27, 1982 : proceedings

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	Conference on operating systems :Visegrad
Andre forfattere:	Neuhold, Erich J., 19..- (Directeur de la publication), Knuth, Előd (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 152
Fag:	Génie logiciel Informatique Systèmes, Conception de Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Specification and design of software systems, proceedings, Conference on operating systems, Visegrad, Hungary, January 23-27, 1982 ; ed, by E. Knuth and E.J. Neuhold, Berlin, Springer, 1983, 1 vol. (152 p.), Lecture notes in computer science, 3-540-12284-2 • Specification and Design of Software Systems, Texte imprimé, 9783662185803

Lignende værker

Abstract software specifications : 1979 Copenhagen Winter School, January 22 February 2, 1979 : proceedings

Software frameworks and embedded control systems
af: Pasetti, Alessandro

Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

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

Advanced information systems engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8 10, 1990 : proceedings

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

Advanced information systems engineering : 6th International Conference, CAiSE'94, Utrecht, The Netherlands, June 6 10, 1994 : proceedings

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12 15, 1992 : proceedings

COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003 : proceedings

COTS-based software systems : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4 6, 2002 : proceedings

Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : 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

COTS-based software systems : Third international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15 17, 1993 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '92 Bath, U.K., April 13 15, 1992 : 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 : 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

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Advanced information systems engineering : 10th International Conference, CAiSE '98 Pisa, Italy, June 8 12, 1998 : proceedings

Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001 : proceedings

Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8 11, 1993 : proceedings

Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 16, 1995 : proceedings

Advanced information systems engineering : 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20 24, 1996 : proceedings

Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

RIMS symposia on software science and engineering : Kyoto, 1982 : proceedings
af: Goto, Eiichi, 19..-

Software reuse : advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings

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

Design and implementation of symbolic computation systems : International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings

Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers

System development and Ada : CRAI Workshop on software factories and Ada, Capri, Italy, May 26 30, 1986 : proceedings

Learning software organizations : methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings

Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5 9, 2000 : proceedings
af: Wangler, Benkt, et autres

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

Advanced information systems engineering : 11th International Conference, CAiSE"99 Heidelberg, Germany, June 14 18, 1999 proceedings

Development and evolution of software architecture for product families : Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain February 26 27, 1998 : 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