ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Temporal Logic and State Systems

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

Temporal Logic and State Systems

مشخصات کتاب

Temporal Logic and State Systems

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان:   
سری: Texts in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 3540674012, 9783540674016 
ناشر: Springer 
سال نشر: 2008 
تعداد صفحات: 445 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Temporal Logic and State Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

منطق زمانی طی 30 سال گذشته به یک محیط رسمی قدرتمند برای تعیین مشخصات و تأیید سیستم‌های مبتنی بر حالت تبدیل شده است. این کتاب بر اساس سخنرانی‌های دانشگاهی نویسندگان، ارائه‌ای جامع، مختصر، یکنواخت و به‌روز از نظریه و کاربردهای منطق زمانی خطی و شاخه‌ای است. TLA (منطق زمانی اعمال)؛ اتصالات نظری خودکار بررسی مدل؛ و نظریه های مرتبط تمام جزئیات نظری و مثال‌های کاربردی متعدد با دقت و با دقت کامل تشریح شده‌اند و این کتاب به‌عنوان منبع و مرجع اساسی برای مدرسان، دانشجویان فارغ‌التحصیل و محققان خواهد بود.


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

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی