دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives
25 سال بررسی مدل: تاریخچه ، دستاوردها ، چشم اندازها
زبان : English
نویسندگان : Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2008
ISBN (شابک) : 9783540698494, 3540698493
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 5000 : Theoretical Computer Science and General Issues
تعداد صفحات : 234[237]
حجم : 41 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان
