دانلود کتاب Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
دسته: منطقبرنامه نويسي
کتاب نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN، لس آنجلس، کالیفرنیا، ایالات متحده، 10-12 اوت، 2008 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN، لس آنجلس، کالیفرنیا، ایالات متحده، 10-12 اوت، 2008 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
نام کتاب : Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN، لس آنجلس، کالیفرنیا، ایالات متحده، 10-12 اوت، 2008 مجموعه مقالات
سری : Lecture Notes in Computer Science 5156 : Theoretical Computer Science and General Issues
نویسندگان : Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2008
تعداد صفحات : 351
ISBN (شابک) : 3540851135 , 9783540851134
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 11 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی