( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Korso Reference Languages - Concepts and Application Domains.

, , , , , , , и . KORSO Book, том 1009 из Lecture Notes in Computer Science, Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hans-Dieter Ehrich

Dieter Ehrich

Hans-Jürgen Ehrich

Günter Ehrich

Ursula Ehrich

 

Другие публикации лиц с тем же именем

Operational Aspects of Algebraic Specifications.. ADT, University of Dortmund, (1982)Object-Oriented Specification of Databases: An Algebraic Approach., , и . VLDB, стр. 107-116. Morgan Kaufmann, (1987)A Categorial Theory of Objects as Observed Processes., , и . REX Workshop, том 489 из Lecture Notes in Computer Science, стр. 203-228. Springer, (1990)Objects and their Specification., , и . COMPASS/ADT, том 655 из Lecture Notes in Computer Science, стр. 40-65. Springer, (1991)Abstract Object Types for Databases., , и . OODBS, том 334 из Lecture Notes in Computer Science, стр. 144-149. Springer, (1988)The Basic Building Blocks of Information Systems., , , и . ISCO, стр. 225-246. North-Holland, (1989)Objects, Agents, and Features: An Introduction., , и . Objects, Agents, and Features, том 2975 из Lecture Notes in Computer Science, стр. 1-7. Springer, (2003)On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types.. J. ACM, 29 (1): 206-227 (1982)Harmonizing intra- and inter-object specification and verification: a multi-object logics approach.. ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1 (2005)Algebraic Semantics of Type Definitions and Structured Variables.. FCT, том 56 из Lecture Notes in Computer Science, стр. 84-97. Springer, (1977)