دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Modal and temporal properties of processes
دانلود کتاب خصوصیات معین و زمانی فرآیندها
مشخصات کتاب
Modal and temporal properties of processes
ویرایش: 1
نویسندگان: Colin Stirling (auth.)
سری: Texts in Computer Science
ISBN (شابک) : 9781441931535, 0387987177
ناشر: Springer-Verlag New York
سال نشر: 2001
تعداد صفحات: 200
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب Modal and temporal properties of processes به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب خصوصیات معین و زمانی فرآیندها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب خصوصیات معین و زمانی فرآیندها
این یک کتاب مقدماتی در مورد ویژگی‌های مودال و زمانی فرآیندها است. این کتاب در یک رویکرد روشن و سازمان‌یافته مقدمه‌ای را ارائه می‌کند: - محاسبات فرآیندی برای مدل‌سازی سیستم‌های همزمان - ویژگی‌های مودال سیستم‌ها و معادل‌سازی دوشبیه‌سازی ارائه‌شده بر حسب بازی‌ها - ویژگی‌های زمانی سیستم‌ها - حساب مدال به عنوان یک هدف زمانی کلی تکنیک های تایید منطقی برای نشان دادن ویژگی های زمانی سیستم ها، از جمله تایید به عنوان یک بازی. بررسی مدل از نظر الگوریتم های نظری بازی. tablaux به عنوان راهبردهای موفق تأیید ترکیبی، به ویژه در مورد سیستم های بی نهایت. استفاده از بازی‌ها هم برای بررسی معادل‌سازی و هم برای بررسی مدل از نظر مفهومی واضح‌تر از روش‌های دیگر است و ساختار سنجیده و مثال‌های روشن‌کننده کتاب، این کتاب را برای دوره‌های پیشرفته و مقطع کارشناسی یا کارشناسی ارشد در بررسی مدل یا روش‌های رسمی تأیید مناسب می‌سازد. .
توضیحاتی درمورد کتاب به خارجی
This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: -process calculi for modeling concurrent systems -modal properties of systems and bisimulation equivalence presented in terms of games -temporal properties of systems -modal mu-calculus as a general purpose temporal logic -verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems. The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification.
فهرست مطالب
Front Matter....Pages i-xii
Processes....Pages 1-30
Modalities and Capabilities....Pages 31-49
Bisimulations....Pages 51-81
Temporal Properties....Pages 83-102
Modal Mu-Calculus....Pages 103-132
Verifying Temporal Properties....Pages 133-161
Exposing Structure....Pages 163-181
Back Matter....Pages 183-191
