Formal description techniques, III
Subtitle: proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990
By: edited by Juan Quemada, Jose Mañas, Enrique Vázquez.
Contributors: Mañas, José, 1956-; Quemada, Juan, 1953-; Vázquez, Enrique, 1960-
Publisher: North-Holland; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
Published: 1991
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 584
Subjects: Computer programming -- Congresses.; Formal languages -- Congresses.
Other titles: Formal description techniques, 3.; Formal description techniques, three.
Notes: Includes bibliographical references.