دانلود کتاب SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885)
| عنوان فارسی | بررسی مدل اسپین و تأیید نرمافزار: هفتمین کارگاه بینالمللی اسپین استنفورد، کالیفرنیا، ایالات متحده آمریکا، 30 اوت - 1 سپتامبر 2000 مجموعه مقالات (یادداشتهای سخنرانی در علوم رایانه، 1885) |
|---|---|
| عنوان اصلی | SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885) |
| ناشر | Springer |
| نویسنده | Klaus Havelund (editor), John Penix (editor), Willem Visser (editor) |
| ISBN | 3540410309, 9783540410300 |
| سال نشر | 2000 |
| زبان | English |
| تعداد صفحات | 353 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد