Formal description techniques, VI
Subtitle: proceedings of the IFIP TC6/WG6.1 sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993
By: edited by Richard L. Tenney, Paul D. Amer, M. Ümit Uyar.
Contributors: Amer, Paul D.; Tenney, Richard L.; Uyar, M. Ü.
Series: IFIP transactions -- C-22
Publisher: North Holland
Published: 1994
Place of publication: Amsterdam; London
Language: eng
Number of pages: 501
Subjects: Computer programming -- Congresses.; Formal languages -- Congresses.
Notes: Includes bibliographies and index.