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