Formal description techniques, II
Subtitle: proceedings of the IFIP TC 6/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989
By: edited by Son T. Vuong.
Contributors: Vuong, Son T.; IFIP Working Group 6.1.
Publisher: North-Holland
Published: 1990
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 549
Subjects: Computer programming -- Congresses.; Formal language -- Congresses.
Notes: Includes bibliographical references.