دانلود کتاب Real-time systems: specification, verification, and analysis
کتاب سیستم های بلادرنگ: مشخصات، تایید و تجزیه و تحلیل نسخه زبان اصلی
دانلود کتاب سیستم های بلادرنگ: مشخصات، تایید و تجزیه و تحلیل بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Real-time systems: specification, verification, and analysis
نام کتاب : Real-time systems: specification, verification, and analysis
ویرایش : 1st
عنوان ترجمه شده به فارسی : سیستم های بلادرنگ: مشخصات، تایید و تجزیه و تحلیل
سری : Prentice Hall International series in computer science
نویسندگان : Mathai Joseph
ناشر : Prentice Hall
سال نشر : 1996
تعداد صفحات : 290
ISBN (شابک) : 9780134552972 , 0134552970
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این متن شرحی از سیستم‌های بلادرنگ ارائه می‌کند: ساختارهای برنامه برای تحلیل زمان‌بندی بلادرنگ با استفاده از تئوری زمان‌بندی و مشخصات و تأیید در چارچوب‌های مختلف. این ارائه از تحقیقات اخیر استفاده می کند که اثربخشی و کاربرد روش های مبتنی بر ریاضی را برای طراحی سیستم بلادرنگ نشان داده است. هر فصل بر روی یک تکنیک خاص تمرکز دارد و مثال ها به تقویت نظریه ارائه شده در متن کمک می کنند. پوشش شامل تئوری زمان‌بندی پیشرفته، و همچنین روش‌های جدید مشخصات و تأیید است که با در نظر گرفتن یک مثال معمولی و غیر پیش پا افتاده به هم مرتبط شده‌اند. تمام فصل ها شامل تمرین هایی در متن عمومی و همچنین تمرین های درجه بندی شده در پایان می باشد.
توضیحاتی در مورد کتاب به زبان اصلی :
This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.
پست ها تصادفی