RecordNumber
34167
Title
Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
Author Statement
edited by Kenneth J. Turner
Publication
Wiley
Publication Year
1993
Collation
xxviii, 431 p. : ill
Series
Wiley series in communication and distributed systems
Notes
0471934550 , Includes bibliographical references (p. 409-416) and indexes
Subject
Formal languages , Electronic digital computers - Programming
ADDED ENTRIES
Turner, Kenneth J.
LC Class
QA
LC Number
76.6
LC CutterNumber
.U848
LC Date
1993