Formal description techniques
Subtitle: proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988
By: edited by Kenneth J. Turner.
Contributors: Turner, Kenneth J.; University of Stirling.
Publisher: North-Holland; sole distributors for the U.S.A. and Canada, Elsevier Science Pub.
Published: 1989
Place of publication: Amsterdam [Netherlands]; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 351
Subjects: Electronic digital computers -- Programming -- Congresses.; Formal languages -- Congresses.
Notes: "Organised by University of Stirling, Scotland"--Facing t.p.

Includes bibliographies.