1. Formal description technique
المؤلف: / edited by K.R. Parker, G.A. Rose
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
2. Formal description techniques, II
المؤلف: / Edited by Son T. Vuong
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
3. Formal description techniques III
المؤلف: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
4. Using formal description techniques
المؤلف: / edited by Kenneth J. Turner
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Electronic digital computers - Programming,Formal languages
رده :
QA
76
.
6
.
U848
1993
5. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
المؤلف: edited by Kenneth J. Turner
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
