کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب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
Formal Description Technique Lotos: Results of the ESPRIT/ SEDOS Project
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic data processing- Distributed processind,ESPRIT/ SEDOS Project,System design
رده :
QA
،
76
.
9
،.
D5
,
F65
،
1989
The Formal description technique Estelle: : results of the ESPRIT/SEDOS Project
پدیدآورنده: edited by Michel Diaz ... ]et al.[
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic data processing- Distributed processing,، ESPRIT/SEDOS Project,، System design
رده :
QA
76
.
9
.
D5F66
1989
