ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Specifying Message Passing and Time-Critical Systems with Temporal Logic

دانلود کتاب تعیین سیستم‌های ارسال پیام و زمان بحرانی با منطق زمانی

Specifying Message Passing and Time-Critical Systems with Temporal Logic

مشخصات کتاب

Specifying Message Passing and Time-Critical Systems with Temporal Logic

دسته بندی: منطق
ویرایش: 1 
نویسندگان:   
سری: Lecture Notes in Computer Science 651 
ISBN (شابک) : 3540562834, 9783540562832 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1992 
تعداد صفحات: 169 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

قیمت کتاب (تومان) : 42,000



کلمات کلیدی مربوط به کتاب تعیین سیستم‌های ارسال پیام و زمان بحرانی با منطق زمانی: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Specifying Message Passing and Time-Critical Systems with Temporal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تعیین سیستم‌های ارسال پیام و زمان بحرانی با منطق زمانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تعیین سیستم‌های ارسال پیام و زمان بحرانی با منطق زمانی



این مونوگراف به کاربرد منطق زمانی در حوزه‌های انتقال پیام و سیستم‌های بحرانی زمان می‌پردازد. جدا از استفاده عملی از منطق زمانی برای این دو حوزه کاربردی، این کتاب همچنین شامل مطالعات بنیادی خالص در منطق زمانی است. انگیزه مطالعه سیستم های ارسال پیام و زمان حیاتی از اهمیت آنها در عمل ناشی می شود. ارسال پیام یکی از مهم ترین ابزارهای ارتباط بین فرآیندی در سیستم های توزیع شده است، چه در سطح بالا، مانند برنامه های مخابراتی، یا در سطح پایین تر، مانند پیاده سازی زبان هایی مانند Ada. در مورد سیستم های بحرانی زمان، در میان تعداد فزاینده برنامه های کاربردی بلادرنگ، سیستم های بسیار حیاتی مانند نیروگاه های شیمیایی کنترل شده توسط کامپیوتر و نیروگاه های هسته ای وجود دارد. این مونوگراف نشان می‌دهد که چگونه می‌توان از منطق زمانی استاندارد برای مشخصات سیستم‌های ارسال پیام استفاده کرد، و یک منطق زمانی ویژه برای استدلال در مورد ویژگی‌های زمانی کمی ایجاد می‌کند. حوزه کاربرد اصلی سیستم‌های بلادرنگ توزیع‌شده است.


توضیحاتی درمورد کتاب به خارجی

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of languages like Ada. As for time-critical systems, among the growing number of real-time applications there are some highly critical systems such as computer controlled chemical plants and nuclear power stations. The monograph shows how standard temporal logic can be used for the specification of message passing systems, and develops a special temporal logic for reasoning about quantitative temporal properties.The main application area is that of distributed real-time systems.



فهرست مطالب

Introduction....Pages 1-5
How to specify....Pages 7-11
A review of modal and temporal logic....Pages 13-37
Polymodal logics with inequality....Pages 39-63
Message passing systems....Pages 65-98
Time-critical systems....Pages 99-142
Summary and concluding remarks....Pages 143-150




نظرات کاربران