1. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Electronic digital computers - Programming,Formal languages
رده :
QA
76
.
6
.
U848
1993
2. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : Electronic digital computers - Programming,Formal languages
رده :
QA
76
.
6
.
U848
1993
