Using formal description techniques
Subtitle: an introduction to Estelle, LOTOS, and SDL
By: edited by Kenneth J. Turner.
Contributors: Turner, Kenneth J.
Series: Wiley series in communication and distributed systems
Publisher: Wiley
Published: 1993
Place of publication: Chichester [England]; New York
Language: eng
Number of pages: 431
Subjects: Computer programming.; Formal languages.
Notes: Includes bibliographical references (p. 409-416) and indexes.