E-LIB Suche - Ergebnisse für: Goguen, Healfdene H.

1

, In: Proceedings of the 8th international conference on Component-Based Software Engineering,

Bond, Gregory W. ; Cheung, Eric ; Goguen, Healfdene H.... - p. 298-305 , 2005

2

, In: Component-Based Software Engineering; Lecture Notes in Computer Science,

Bond, Gregory W. ; Cheung, Eric ; Goguen, Healfdene H.... - p. 298-305 , 2005

3

Zave, Pamela ; Goguen, Healfdene H. ; Smith, Thomas M.
Computer Networks. 45 (2004) 5 - p. 645-664 , 2004

4

COMPAGNONI, ADRIANA ; GOGUEN, HEALFDENE
Mathematical Structures in Computer Science. 18 (2008) 5 - p. 795-796 , 2008

5

COMPAGNONI, ADRIANA ; GOGUEN, HEALFDENE
Mathematical Structures in Computer Science. 16 (2006) 1 - p. 41 , 2006

6

Goguen, Healfdene
ACM SIGPLAN Notices. 40 (2005) 1 - p. 75-84 , 2005

7

, In: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Goguen, Healfdene - p. 75-84 , 2005

8

Compagnoni, Adriana ; Goguen, Healfdene
Information and Computation. 184 (2003) 2 - p. 242-297 , 2003

9

GOGUEN, HEALFDENE ; GOUBAULT-LARRECQ, JEAN
Mathematical Structures in Computer Science. 10 (2000) 1 - p. 1-79 , 2000