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

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

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

保存先:

書誌詳細
団体著者:	International Conference on Algebraic Methodology and Software Technology :Stirling, Scotland, UK
その他の著者:	Rattray, Charles, 1938- (出版デイレクター), Maharaj, Savitri (出版デイレクター), Shankland, Carron (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 3116
主題:	Génie logiciel Informatique Ordinateurs Intelligence artificielle Types abstraits de données (informatique) Logique symbolique et mathématique Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	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, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, proceedings, Charles Rattray, Savitri Maharaj, Carron Shankland (eds.), Berlin, Springer, 2004, 1 vol. (XI-569 p.), Lecture notes in computer science, 3-540-22381-9 • Algebraic Methodology and Software Technology, Texte imprimé, 9783662170045

類似資料

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 : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Algebraic methodology and software technology : 7th International Conference, AMAST 98, Amazonia, Brazil, January 4 8, 1999 : 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 : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : 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

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

A methodology for uncertainty in knowledge-based systems
著者:: Weichselberger, Kurt, 等

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 : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : 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

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

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

A systematic catalogue of reusable abstract data types
著者:: Uhl, Jürgen, 等

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

Live data structures in logic programs : derivation by means of abstract interpretation
著者:: Mulkers, Anne, 19..-

Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24 26, 1989 : proceedings
著者:: Bläsius, Karl Hans, 1952-

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

Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India December 19 21, 1989 : proceedings : FST and TCS 9

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

Recent trends in data type specification : 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 : selected papers

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

Programming languages and systems : 13th European Symposium on Programming, ESOP 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

Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings : FST and TCS 12

Foundations of software technology and theoretical computer science : 14th Conference, Madras, India, December 15 17, 1994 : 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 : 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

Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings : FST and TCS 13

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

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

Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings : FST and TCS 11

Programming languages and systems : 12th European Symposium on Programming, ESOP 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7 11, 2003 : proceedings

Programming languages and systems : 11th European Symposium on Programming, ESOP 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 12, 2002 : proceedings

Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings : [FST and TCS 15]

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
著者:: Dean, Neville, 19..-

Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 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