ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Principles of the Spin Model Checker

دانلود کتاب اصول Spin Model Checker

Principles of the Spin Model Checker

مشخصات کتاب

Principles of the Spin Model Checker

ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 1846287693, 9781846287695 
ناشر: Springer 
سال نشر: 2008 
تعداد صفحات: 225 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Principles of the Spin Model Checker به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب اصول Spin Model Checker

کتاب Principles of Spin یک کتاب مقدماتی است و تنها شرط آن سابقه برنامه نویسی است. مدل های اسپین به زبان پروملا نوشته شده اند که به راحتی توسط دانش آموزان و برنامه نویسان قابل یادگیری است. نصب و استفاده از Spin آسان است. جستجوگر مدل اسپین نه تنها یک ابزار حرفه‌ای پرکاربرد است، بلکه ابزاری عالی برای آموزش مفاهیم مهم علوم کامپیوتر مانند تأیید، همزمانی و غیر قطعیت است. این کتاب نرم افزار مبتنی بر Spin را که نویسنده برای آموزش توسعه داده است، معرفی می کند: jSpin - یک محیط توسعه یکپارچه برای Spin. SpinSpider - از خروجی Spin برای ساخت خودکار نمودارهای حالت برنامه های همزمان استفاده می کند. VN ابزاری برای تجسم غیر جبرگرایی است. برنامه های کامل هر ساختار و مفهوم را نشان می دهند و این برنامه ها در یک وب سایت همراه در دسترس خواهند بود.


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

Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism. Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.



فهرست مطالب

Cover......Page 1
Principles of the Spin Model Checker......Page 2
Copyright......Page 4
Foreword......Page 5
Preface......Page 7
Contents......Page 11
1 Sequential Programming in PROMELA......Page 16
2 Verification of Sequential Programs......Page 34
3 Concurrency......Page 43
4 Synchronization......Page 61
5 Verification with Temporal Logic......Page 82
6 Data and Program Structures......Page 107
7 Channels......Page 116
8 Nondeterminism......Page 136
9 Advanced Topics in PROMELA......Page 148
10 Advanced Topics in SPIN......Page 156
11 Case Studies......Page 173
A Software Tools......Page 211
References......Page 218
Index......Page 220




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