The Formal description technique Lotos
Subtitle: results of the ESPRIT/SEDOS Project
By: edited by Peter H.J. van Eijk, Chris A. Vissers, Michel Diaz.
Contributors: Eijk, Peter H. J. van, 1959-; Vissers, Chris A., 1941-; Diaz, Michel, 1945-
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub.
Published: 1989
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 451
Subjects: ESPRIT/SEDOS Project.; Electronic data processing -- Distributed processing.; LOTOS (Computer program language); System design.
Notes: Includes bibliographies.