دانلود کتاب Spin Model Checker
49,000 تومان
چرخش مدل جستجوگر
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Addison-Wesley Professional |
| تعداد صفحه | 690 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 9780321228628,0321228626 |
| نویسنده | Gerard J. Holzmann |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2003 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
چرخش مدل جستجوگر
SPIN محبوبترین و مسلماً یکی از قدرتمندترین ابزارهای جهان برای تشخیص نقص نرمافزار در طراحیهای همزمان سیستم است. به معنای واقعی کلمه، هزاران نفر از SPIN از زمانی که تقریباً پانزده سال پیش برای اولین بار معرفی شد، استفاده کرده اند. این ابزار برای همه چیز از تأیید نرمافزار پردازش تماس پیچیده که در مبادلات تلفنی استفاده میشود، تا اعتبارسنجی نرمافزار کنترل پیچیده برای فضاپیماهای بین سیارهای اعمال شده است.
Spin Model Checker
SPIN is the world’s most popular, and arguably one of the world’s most powerful, tools for detecting software defectsin concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteenyears ago. The tool has been applied to everything from the verification of complex call processing software that isused in telephone exchanges, to the validation of intricate control software for interplanetary spacecraft.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.