Program specification : :: SCD d'Orléans

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981

Uloženo v:

Podrobná bibliografie
Korporativní autor:	Workshop on program specification :Aarhus
Další autoři:	Staunstrup, Jørgen (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 134
Témata:	Génie logiciel Informatique Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Program specification, proceedings of a workshop, Aarhus, Denmark, August 1981, edited by J. Staunstrup, Berlin, Springer-Verlag, 1982, 1 vol. (IV-426 p.), Lecture notes in computer science, 0-387-11490-4 • Program Specification, Texte imprimé, 9783662206355

Podobné jednotky

Programs as Data Objects : proceedings of a workshop, Copenhagen, Denmark, October 17 19, 1985

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
Autor: Hoffmann, Berthold, 19..-

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

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

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

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 20, 1990 : proceedings

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

ECOOP 95 - object-oriented programming : 9th European Conference, Åarhus, Denmark, August 7 11, 1995 : proceedings

Modular specification and verification of object-oriented programs
Autor: Müller, Peter, 1961-...., informaticien

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report
Autor: Ehrig, Hartmut, 1944-

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
Autor: Lengauer, Christian

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : 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

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Mathematics of program construction : 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

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

Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

Software process technology : 6th European Workshop, EWSPT'98, Weybridge, UK, September 1998 : proceedings

Software engineering environments : International Workshop on Environments, Chinon, France, September 18 20, 1989 : proceedings

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 23, 1993 : proceedings

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

Software process technology : third European Workshop EWSPT'94, Villard de Lance, France, February 7-9 1994 : proceedings

Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 8-11, 1996 : proceedings

Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings

Software process technology : 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings

Software product lines : Second International Conference, SPLC 2, San Diego, CA, USA, August 19 22, 2002 : proceedings

Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Algebraic and coalgebraic methods in the mathematics of program construction : international Summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Advanced programming environments : proceedings of an International workshop, Trondheim, Norway, June 16 18, 1986

Application and theory of Petri Nets 2000 : ; proceedings 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000

Software configuration management : ICSE'97 SCM-7 Workshop, Boston, MA, USA, May 18 19, 1997 : proceedings

Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : 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

© 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