دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Mordechai Ben-Ari
سری:
ISBN (شابک) : 1846287693, 9781846287695
ناشر: Springer
سال نشر: 2008
تعداد صفحات: 225
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Principles of the Spin Model Checker به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اصول 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