دانلود کتاب Principles of Model Checking
اصول بررسی مدل
زبان : English
نویسندگان : Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen
ناشر : MiT Press
سال انتشار : 2008
ISBN (شابک) : 9780262026499, 026202649X
ویرایش : [illustrated edition]
سری : Scientific and Engineering Computation
تعداد صفحات : 994
حجم : 17 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان