مشخصات کتاب

Principles of the Spin Model Checker

ویرایش: 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 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اصول 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

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

کتاب های تصادفی

دانلود کتاب Exploring the Polar Regions, Revised Edition (Discovery & Exploration)

دانلود کتاب Miseducation: Preschoolers at Risk

دانلود کتاب Making our Way through the World: Human Reflexivity and Social Mobility

دانلود کتاب Commentary on Thomas Aquinas's Treatise on Happiness and Ultimate Purpose

دانلود کتاب Racial Propositions: Ballot Initiatives and the Making of Postwar California