Recent trends in algebraic development techniques : :: SCD d'Orléans

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers

Salvato in:

Dettagli Bibliografici
Ente Autore:	International workshop on algebraic development techniques :Château de Bonas
Altri autori:	Bert, Didier, 19..-...., informaticien (Direttore editoriale), Choppy, Christine (Direttore editoriale), Mosses, Peter D. (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 1827
Soggetti:	Génie logiciel Informatique Langages de programmation Ordinateurs Types abstraits de données (informatique) Informatique > Mathématiques Ateliers de génie logiciel Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Recent trends in algebraic development techniques, 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999, selected papers, Didier Bert, Christine Choppy, Peter Mosses (eds.), New York, Springer, 2000, 1 vol. (X-476 p.), Lecture notes in computer science, 3-540-67898-0 • Recent Trends in Algebraic Development Techniques, Texte imprimé, 9783662163283

Documenti analoghi

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
di: Parisi-Presicce, Francesco

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 30, 1992 : selected papers

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 20, 1990 : 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

Algebraic methodology and software technology : 6th international conference, AMAST ±97, Sydney, Australia, December 13-17, 1997 : proceedings

Algebraic methodology and software technology : 7th International Conference, AMAST 98, Amazonia, Brazil, January 4 8, 1999 : proceedings

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

A systematic catalogue of reusable abstract data types
di: Uhl, Jürgen, et al.

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : proceedings

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 Advanced seminar on foundations of innovative software development I and Colloquium on trees in algebra and programming (CAAP '87)

Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
di: Geurts, Frederic, 1965-

TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP)

Models and tools for managing development processes
di: Westfechtel, Bernhard

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

Software product-family engineering : 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types
di: Sherman, Mark Steven, 19..-

Methods of programming : selected papers on the CIP-project
di: Broy, Manfred, 1949-

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

Object-oriented technology : ECOOP 99 workshop reader : ECOOP 99 workshops, panels, and posters, Lisbon, Portugal, June 14 18, 1999 : proceedings

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

Parallel computing technologies : 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6 10, 1999 : proceedings

Software process technology : 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings

Software engineering : an advanced course
di: Bauer, Friedrich Ludwig, 1924-2015, et al.
Pubblicazione: (2005)

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

Software configuration management : ICSE SCM-4 and SCM-5 workshops : selected papers

Language, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 1998 : selected papers

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers
di: Van der Linden, Frank, 1954-

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

Performance engineering : state of the art and current trends
di: Dumke, Reiner

Algebraic specification techniques in object oriented programming environments
di: Breu, Ruth, 19..-

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

Algebraic methods II : theory, tools and applications

© 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