【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Rose, G. A. (Gordon A.)

ID:DA0796122X

Alias Name: Rose, Gordon (Gordon A.)

Search authors sharing the same name

Search Results1-2 of 2

1

Formal object-oriented specification using Object-Z

Roger Duke and Gordon Rose

Macmillan Press Cornerstones of computing

Available at 6 libraries
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

Available at 11 libraries

Search this author

Related Authors