دانلود کتاب Real-Time Systems: Formal Specification and Automatic Verification
سیستم های زمان واقعی: مشخصات رسمی و تأیید خودکار
زبان : English
نویسندگان : Ernst-Rudiger Olderog, Henning Dierks
ناشر : Cambridge University Press
سال انتشار : 2008
ISBN (شابک) : 0521883334, 9780521883337
ویرایش : [1 ed.]
سری : New Horizons in Institutional and Evolutionary Economics series
تعداد صفحات : 339
حجم : 12 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان