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