دانلود کتاب 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 (شابک) : 3540698493, 9783540698494
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 5000 : Theoretical Computer Science and General Issues
تعداد صفحات : 234[237]
حجم : 4 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان