-
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
-
Link To Document :
