Algebraic methodology and software technology : :: SCD d'Orléans

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The...

Description complète

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International Conference on Algebraic Methodology and Software Technology :Montréal, Québec
Autres auteurs:	Alagar, Vangalur S., 1940- (Directeur de la publication), Nivat, Maurice, 1937-2017, informaticien (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 936
Sujets:	Génie logiciel Informatique Logique symbolique et mathématique Logique algébrique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Algebraic methodology and software technology, 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995, proceedings, V.S. Alagar, Maurice Nivat (eds.), Berlin, Springer, 1995, 1 vol. (XIV-591 p.), Lecture notes in computer science, 3-540-60043-4 • Algebraic Methodology and Software Technology, Texte imprimé, 9783662187876

Documents similaires

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

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

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

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

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

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

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings : FST and TCS 10

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23 26, 1997 : proceedings

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

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Foundations of software science and computation structures : 7th international conference, FOSSACS 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

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

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

Building tightly integrated software development environments : the IPSEN approach
par: Nagl, Manfred, 1944-

Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : 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 II and Colloquium on functional and logic programming and specifications (CFLP)

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Foundations of software science and computation structures : First International Conference, FoSSaCS ±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

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
par: Bergman, Clifford H.

Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings : FST and TCS 6

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Foundations of software science and computation structures : Third International Conference, FOSSACS 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

Foundations of software science and computation structures : Second International Conference, FOSSACS 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

Foundations of software technology and theoretical computer science : 14th Conference, Madras, India, December 15 17, 1994 : proceedings

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13 17, 1989 advanced seminar on foundations of innovative software development II and colloquium on current issues in programming languages (CCIPL)

Automated reasoning : Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
par: Basin, David

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

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 : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001 : revised papers

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12 16, 2001 : 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