The Formal description technique Estelle
Subtitle: results of the ESPRIT/SEDOS Project
By: edited by Michel Diaz ... [et al.].
Contributors: Diaz, Michel, 1945-
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1989
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 439
Subjects: ESPRIT/SEDOS Project.; Electronic data processing -- Distributed processing.; System design.
Other titles: Estelle.
Notes: Includes bibliographies and index.