عنوان
پدید آورنده
موضوع
رده
QA 76.6 .U848 1993
QA
76
.
6
.
U848
1993
کتابخانه
محل استقرار
CE
Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
Chichester )England(
Wiley
1993
xxviii, 431 p. : ill
Wiley series in communication and distributed systems
Includes bibliographical references )p. 409-416( and indexes
Electronic digital computers - Programming
Formal languages
QA
76
.
6
.
U848
1993
TI
edited by Kenneth J. Turner
English
