دانلود کتاب Introduction to the Formal Design of Real-Time Systems
کتاب مقدمه ای بر طراحی رسمی سیستم های بلادرنگ نسخه زبان اصلی
دانلود کتاب مقدمه ای بر طراحی رسمی سیستم های بلادرنگ بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Introduction to the Formal Design of Real-Time Systems
نام کتاب : Introduction to the Formal Design of Real-Time Systems
ویرایش : 1
عنوان ترجمه شده به فارسی : مقدمه ای بر طراحی رسمی سیستم های بلادرنگ
سری : Applied Computing
نویسندگان : David Gray BSc, MSc, PhD, CEng (auth.)
ناشر : Springer-Verlag London
سال نشر : 1999
تعداد صفحات : 467
ISBN (شابک) : 9783540761402 , 9781447108894
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 13 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
اما وقتی می گوییم A "برابر" B است، همچنین باید بدانیم منظورمان از A و B چیست، همچنین می دانیم که منظورمان از "برابر" چیست. این بخش به بررسی نقش ناظران می پردازد. چگونه انواع مختلف مشاهده‌گر چیزهای مختلف را برابر می‌بینند و چگونه می‌توانیم ریتم‌های الگو را برای تصمیم‌گیری در مورد چنین برابری‌هایی تولید کنیم. همچنین نحوه نوشتن مشخصات را بررسی می کند که می توانیم طرح های SCCS خود را با آن مقایسه کنیم. • بخش پایانی بخشی است که دانش آموزان بیشتر دوست دارند. هنگامی که مقدار کافی SCCS برای تصمیم گیری در مورد اجزای یک طرح به دست آمد، مراحل "چرخش دسته" ترکیب و بررسی اینکه طرح مطابق با مشخصات آن است، هم مستعد خطا و هم خسته کننده است. این بخش نیمکت کار همزمان را معرفی می کند که بیشتر بار را به دوش می کشد. نحوه استفاده از کتاب به شما بستگی دارد. من حتی قصد ندارم راه های مسیر را پیشنهاد کنم. خوانندگان منفرد می دانند که به دنبال چه دانشی هستند، و رهبران دوره می دانند که چه مفاهیمی را در تلاش هستند و به چه ترتیبی منتقل کنند.
فهرست مطالب :
Front Matter....Pages i-xiii
Scene Set....Pages 1-46
Concurrency and Communication....Pages 47-111
Message Passing....Pages 113-138
Synchronous Calculus of Communicating Systems....Pages 139-300
Equivalence....Pages 301-331
Automating SCCS....Pages 333-378
Proving Things Correct....Pages 379-431
End End Note....Pages 433-433
Back Matter....Pages 435-461
توضیحاتی در مورد کتاب به زبان اصلی :
but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ er see different things as being equal, and how we can produce algo rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. • The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
پست ها تصادفی