عنوان
پدید آورنده
موضوع
رده
TK۵۱۰۳/۲ /د۹و۸ ۱۳۸۲
TK
۵۱۰۳
/
۲
/
د
۹
و
۸ ۱۳۸۲
کتابخانه
محل استقرار
شابک
شابک
0470852860
شماره کتابشناسی ملی
شماره
ح۴/۷۲
عنوان و نام پديدآور
عنوان اصلي
Validation of communications systems with SDL: the art of SDL simulation and reachability analysis
نام نخستين پديدآور
/ Laurent Doldi
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Chichester
نام ناشر، پخش کننده و غيره
: Wiley
تاریخ نشرو بخش و غیره
, 2003 = 1382.
مشخصات ظاهری
نام خاص و کميت اثر
x, ۲۹۶ ص.
ساير جزييات
م‍ص‍ور،ن‍م‍ودار
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
کتابنامه:ص.۲۸۹-۲۹۱
آوانویسی عنوان
آوانویسی عنوان
ول‍ی‍دی‍ش‍ن آو ک‍ام‍ی‍ون‍ی‍ک‍ی‍ش‍ن‍ز س‍ی‍س‍ت‍م‍ز وی‍ت اس دی ال ...
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
ارت‍ب‍اطات ب‍ی‌س‍ی‍م -- ش‍ب‍ی‍ه‌س‍ازی کامپیوتری
موضوع مستند نشده
م‍خ‍اب‍رات -- س‍ی‍س‍ت‍م‍ه‍ای س‍ی‍ار -- ش‍ب‍ی‍ه‌س‍ازی کامپیوتری
موضوع مستند نشده
SDL (Computer program language)
رده بندی ديویی
شماره
۶۲۱
/
۳۸۴۵۰۱۱۳
رده بندی کنگره
شماره رده
TK
۵۱۰۳
/
۲
نشانه اثر
/
د
۹
و
۸ ۱۳۸۲
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
دال‍دی، ل‍وران
مستند نام اشخاص تاييد نشده
Doldi, Laurent
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
