Rose, G. A. (Gordon A.)

ID:DA0796122X

別名: Rose, Gordon (Gordon A.)

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Formal object-oriented specification using Object-Z

Roger Duke and Gordon Rose

Macmillan Press Cornerstones of computing

所蔵館6館
2

Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

edited by K.R. Parker, G.A. Rose

North-Holland 1992 IFIP transactions C . Communications systems ; 2

所蔵館11館

この著者を外部サイトでさがす

関連著者

ページトップへ