Recent trends in data type specification : :: SCD d'Orléans

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

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

The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specificat...

Enregistré dans:

書目詳細資料
企業作者:	Workshop on specification of abstract data types :Wusterhausen/Dosse, Allemagne
其他作者:	Ehrig, Hartmut, 1944- (Directeur de la publication), Jantke, Klaus Peter, 1951- (Directeur de la publication), Orejas, Fernando, 1952- (Directeur de la publication)
格式:	Livre numérique
語言:	Anglais
出版:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
叢編:	Lecture notes in computer science 534
主題:	Génie logiciel Informatique Langages de programmation Types abstraits de données (informatique) 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:	• Recent trends in data type specification, 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990, proceedings, H. Ehrig, K. P. Jantke, F. Orejas,... [et al.] editors, Berlin, Springer-Verlag, 1991, 1 vol. (VIII-379 p.), Lecture notes in computer science, 0-387-54496-8 • Recent Trends in Data Type Specification, Texte imprimé, 9783662211502

相似書籍

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 : 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 : selected papers

A systematic catalogue of reusable abstract data types
由: Uhl, Jürgen, et autres

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 : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : 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 : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
由: 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 : 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 : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers

Spécification algébrique à l'aide de types abstraits du système EXPRIM (EXpert Pour la Recherche d'IMages)
由: Boukakiou, Mekki
出版: (1984)

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-

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

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

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : 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

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

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

Principles of data mining and knowledge discovery : 5th European conference, PKDD 2001, Freiburg, Germany, September 3-5, 2001 : proceedings : dedicated to Jan Zytkow

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

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

Spatial data types for database systems : finite resolution geometry for geographic information systems
由: Schneider, Markus, 1963-

A methodology for uncertainty in knowledge-based systems
由: Weichselberger, Kurt, et autres

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

Compiler specification and verification
由: Polak, Wolfgang, 1950-

Semantics of Data Types : International symposium Sophia-Antipolis, France, June 27 29, 1984 : proceedings

Intelligent data engineering and automated learning - IDEAL 2000 : data mining, financial engineering, and intelligent agents : second international conference, Shatin, N.T., Hong Kong, China, December 13 15, 2000 : proceedings

Euro-Par 2001 parallel processing : 7th International Euro-Par Conference Manchester, UK, August 28 31, 2001 : proceedings

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

Algorithms and data structures : 6th International Workshop, WADS 99 Vancouver, Canada, August 11 14, 1999 : proceedings

Formal systems specification : the RPC-memory specification case study
由: Broy, Manfred, 1949-

Specification and compositional verification of real-time systems
由: Hooman, Jozef, 19..-

High Performance Computing : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15 17, 2002 Proceedings

WinZip 8.x & Stufflt 7.x
由: Szaibrum, Catherine
出版: (2002)

Advances in knowledge discovery and data mining : 6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6 8, 2002 : proceedings

The design of dynamic data structures
由: Overmars, Mark H., 1958-

© 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