دانلود کتاب Spin Model Checker (به فارسی: چرخش مدل جستجوگر) نوشته شده توسط «Gerard J. Holzmann»
اطلاعات کتاب چرخش مدل جستجوگر
موضوع اصلی: 1
نوع: کتاب الکترونیکی
ناشر: Addison-Wesley Professional
نویسنده: Gerard J. Holzmann
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 690
حجم کتاب: 4 مگابایت
کد کتاب: 9780321228628 , 0321228626
توضیحات کتاب چرخش مدل جستجوگر
SPIN محبوبترین و مسلماً یکی از قدرتمندترین ابزارهای جهان برای تشخیص نقص نرمافزار در طراحیهای همزمان سیستم است. به معنای واقعی کلمه، هزاران نفر از SPIN از زمانی که تقریباً پانزده سال پیش برای اولین بار معرفی شد، استفاده کرده اند. این ابزار برای همه چیز از تأیید نرم افزار پردازش تماس پیچیده که در مبادلات تلفنی استفاده می شود تا اعتبارسنجی نرم افزار کنترل پیچیده برای فضاپیماهای بین سیاره ای استفاده شده است.
دانلود کتاب «چرخش مدل جستجوگر»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.