دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The spin model checker : primer and reference manual
دانلود کتاب بررسی کننده چرخش مدل: دستورالعمل آغازین و مرجع
مشخصات کتاب
The spin model checker : primer and reference manual
ویرایش:
نویسندگان: Gerard J Holzmann
سری:
ISBN (شابک) : 0321228626, 9780321228628
ناشر: Addison-Wesley
سال نشر: 2004
تعداد صفحات: 0
زبان: English
فرمت فایل : GZ (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 22 کیلوبایت
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب The spin model checker : primer and reference manual به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی کننده چرخش مدل: دستورالعمل آغازین و مرجع نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بررسی کننده چرخش مدل: دستورالعمل آغازین و مرجع
1. یافتن اشکالات در سیستم های همزمان -- 2. ساخت مدل های تایید -- 3. مروری بر PROMELA -- 4. تعریف ادعاهای درستی -- 5. استفاده از انتزاع طراحی -- 6. اتومات و منطق -- 7. معناشناسی PROMELA - - 8. الگوریتم های جستجو -- 9. بهینه سازی جستجو -- 10. نکاتی در مورد استخراج مدل -- 11. استفاده از SPIN -- 12. نکاتی در مورد XSPIN -- 13. ویرایشگر TimeLine -- 14. مدل تأیید یک سوئیچ تلفن -- 15. نمونه مدل های چرخش -- 16. مرجع زبان PROMELA -- 17. کد C جاسازی شده -- 18. مروری بر گزینه های SPIN -- 19. نمای کلی گزینه های PAN -- برنامه. A. Automata Products -- App. ب. مناظرات بزرگ -- برنامه. C. تمرینات با چرخش -- برنامه. D. دانلود SPIN
توضیحاتی درمورد کتاب به خارجی
1. Finding Bugs in Concurrent Systems -- 2. Building Verification Models -- 3. An Overview of PROMELA -- 4. Defining Correctness Claims -- 5. Using Design Abstraction -- 6. Automata and Logic -- 7. PROMELA Semantics -- 8. Search Algorithms -- 9. Search Optimization -- 10. Notes on Model Extraction -- 11. Using SPIN -- 12. Notes on XSPIN -- 13. The TimeLine Editor -- 14. A Verification Model of a Telephone Switch -- 15. Sample SPIN Models -- 16. PROMELA Language Reference -- 17. Embedded C Code -- 18. Overview of SPIN Options -- 19. Overview of PAN Options -- App. A. Automata Products -- App. B. The Great Debates -- App. C. Exercises with SPIN -- App. D. Downloading SPIN
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Little Book of Thin: Foodtrainers Plan-It-to-Lose-It Solutions for Every Diet Dilemma
دانلود کتاب Managing Common Interventional Radiology Complications: A Case Based Approach
دانلود کتاب Stream Ecology: Application and Testing of General Ecological Theory
