دسترسی همگانی(OPAC) نام کتابخانه در اوپک

Real-time systems specification,verification and analysis (2001) / Joseph ، Mathai، نویسنده

نوع مدرک:	برنامه‌ها و فایلهای کامپیوتری
سرشناسه	Joseph ، Mathai، نویسنده
عنوان :	Real-time systems specification,verification and analysis
ناشر:	بیجا : Prentice Hall international
سال نشر :	2001
صفحه شمار:	290
مندرجات	1-Time and real-time 2-Fixed priority scheduling-A simple model 3-Advanced fixed priority scheduling 4-Dynamic priority scheduling 5-Assertional specification and verification 6-Specification and verification in timed CSP 7-Specification and verification in DC 8-Real-time systems and fault-tolerance
لینک ثابت رکورد:	../opac/index.php?lvl=record_display&id=1042
زبان مدرک :	English

شماره ثبت	شماره بازیابی	نام عام مواد	محل نگهداری	بخش	وضعیت ثبت	وضعیت امانت
فاقد شماره ثبت