( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Distributed Cooperative Formal Methods Tools.

, , , , и . ASE, стр. 55-62. IEEE Computer Society, (1997)

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.

Healfdene Goguen

Joseph A Bracken

Joseph A Bracken

R. A. A. Bowler

°Ake °Akerström

 

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

OOZE., и . Object Orientation in Z, Springer, (1992)Requirements Engineering - Social and Technical Issues, и . Academic Press, Harcourt Brace & Company, London et al., (1994)The Semantics of CLEAR, A Specification Language., и . Abstract Software Specifications, том 86 из Lecture Notes in Computer Science, стр. 292-332. Springer, (1979)Style as a Choice of Blending Principles., и . AAAI Technical Report (7), FS-04-07, стр. 49-56. AAAI Press, (2004)Introducing Institutions., и . Logic of Programs, том 164 из Lecture Notes in Computer Science, стр. 221-256. Springer, (1983)A short Oxford survey of order sorted algebra.., и . Bulletin of the EATCS, (1992)Refinement of Concurrent Object Oriented Programs, и . PRG-TR-18-95. (1995)A hidden Herbrand theorem: combining the object and logic paradigms., , и . J. Log. Algebraic Methods Program., 51 (1): 1-41 (2002)A hidden agenda., и . Theor. Comput. Sci., 245 (1): 55-101 (2000)Initial Algebra Semantics, и . SWAT, стр. 63-77. IEEE Computer Society, (1974)