مشخصات کتاب

The spin model checker : primer and reference manual

ویرایش:  
نویسندگان: Gerard J Holzmann  
سری:  
ISBN (شابک) : 0321228626, 9780321228628 
ناشر: Addison-Wesley 
سال نشر: 2004 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : GZ (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 22 کیلوبایت 

در صورت تبدیل فایل کتاب 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 serpent in the cup: temperance in American literature

دانلود کتاب The search for supersymmetry: probing physics beyond the standard model

دانلود کتاب Elektrotechnik für Ingenieure - Klausurenrechnen: Aufgaben mit ausführlichen Lösungen

دانلود کتاب The Fire Kimono

دانلود کتاب Four Centuries of Geological Travel: The Search for Knowledge on Foot, Bicycle, Sledge and Camel (Geological Society Special Publication no 287)