عنوان
پدید آورنده
موضوع
رده
QA 76.6 .U848 1993
QA
76
.
6
.
U848
1993
کتابخانه
محل استقرار
English
Using formal description techniques: an introduction to Estelle, LOTOS, and SDL
Chichester ]England[; New York
Wiley
c1993
xxviii, 431 p.: ill.; 24 cm
Wiley series in communication and distributed systems
Includes bibliographical references )p. 409-416( and indexes.
edited by Kenneth J. Turner
1
، Computer programming
، Formal languages
004
.
6
QA
76
.
6
.
U848
1993
TI
AU Turner, Kenneth J.
SE
