Formal description techniques, IV
Subtitle: proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
By: edited by K.R. Parker, G.A. Rose.
Contributors: Parker, K. R.; Rose, G. A.; International Federation for Information Processing. Technical Committee
Series: IFIP transactions -- C-2
Publisher: North-Holland ; Elsevier Science Pub. Co.
Published: 1992
Place of publication: Amsterdam ;New York
Language: eng
Number of pages: 574
Subjects: Computer programming -- Congresses.; Formal languages -- Congresses
Notes: Includes bibliographical references.