دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988
دانلود کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: مجموعه مقالات سمپوزیوم وارویک، بریتانیا، 22 تا 23 سپتامبر 1988
مشخصات کتاب
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988
ویرایش: 1 نویسندگان: WJ Cullyer (auth.), M. Joseph (eds.) سری: Lecture Notes in Computer Science 331 ISBN (شابک) : 3540503021, 9783540503026 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1988 تعداد صفحات: 235 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: مجموعه مقالات سمپوزیوم وارویک، بریتانیا، 22 تا 23 سپتامبر 1988: سیستم‌های مبتنی بر هدف و کاربرد خاص
در صورت تبدیل فایل کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: مجموعه مقالات سمپوزیوم وارویک، بریتانیا، 22 تا 23 سپتامبر 1988 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا: مجموعه مقالات سمپوزیوم وارویک، بریتانیا، 22 تا 23 سپتامبر 1988
این مجموعه‌ای از مقالات سمپوزیوم تکنیک‌های رسمی در سیستم‌های بلادرنگ و تحمل‌پذیر خطا است که در دانشگاه وارویک در 22 تا 23 سپتامبر 1988 برگزار شد. رویکردهایی برای مدل‌سازی سیستم‌های حیاتی ایمنی مفاهیم مهم زمان، همزمانی، افزونگی و تکرار با استفاده از استدلال قاطعانه، منطق زمانی و منطق دانش بررسی می‌شوند. این حجم برای محققان در مدل‌سازی رسمی همزمانی، زمان واقعی و تحمل خطا، و برای مهندسان نرم‌افزار در برنامه‌های کاربردی حیاتی ایمنی بسیار ارزشمند خواهد بود.
توضیحاتی درمورد کتاب به خارجی
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.
فهرست مطالب
High integrity computing....Pages 1-35
Using higher-order logic for modular specification of real-time distributed systems....Pages 36-66
Timed specifications for the development of real-time systems....Pages 67-83
Applications of temporal logic to the specification of real time systems....Pages 84-98
From a synchronous declarative language to a temporal logic dealing with multiform time....Pages 99-110
A specification language for reliable real-time systems....Pages 111-127
Timed acceptances: A model of time dependent processes....Pages 128-130
Responsive sequential processes....Pages 131-133
Static analysis of real-time distributed systems....Pages 134-138
Low level synchronisation problems in digital systems....Pages 139-141
Reasoning about uncertainty in fault-tolerant distributed systems....Pages 142-158
Paradigms for real-time systems....Pages 159-174
Towards a theory of replicated processing....Pages 175-192
Reasoning about atomic objects....Pages 193-208
A formal treatment of interference in remote procedure calls....Pages 209-227
List of authors and addresses....Pages 228-229
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Eclesiastes y Eclesiastico o Qohelet y Siracida
دانلود کتاب An analysis of horsemanship : teaching the whole art of riding, in the manege, military, hunting, racing, and travelling system : together with the method of breaking horses, for every purpose to which those noble animals are adapted
دانلود کتاب The Electrification of Russia, 1880-1926
دانلود کتاب The Greek tyrants
