شبکه: اینترنت

اصول جستجوگر مدل اسپین

Principles of the Spin Model Checker

دانلود کتاب Principles of the Spin Model Checker (به فارسی: اصول جستجوگر مدل اسپین) نوشته شده توسط «Mordechai Ben-Ari»

اطلاعات کتاب اصول جستجوگر مدل اسپین

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Mordechai Ben-Ari

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2008

تعداد صفحه: 216 / 225

حجم فایل: 3.37 مگابایت

کد کتاب: 1846287693 , 9781846287695

نوبت چاپ: 1

توضیحات کتاب اصول جستجوگر مدل اسپین

کتاب 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.

دانلود کتاب «اصول جستجوگر مدل اسپین»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها

دیدگاهتان را بنویسید

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان