دانلود کتاب Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
نرم افزار بررسی مدل: 9مین کارگاه بین المللی SPIN گرنوبل ، فرانسه ، 11 تا 13 آوریل ، 2002 مجموعه مقالات
زبان : English
نویسندگان : Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2002
ISBN (شابک) : 3540434771, 9783540434771
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2318
تعداد صفحات : 262[267]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان