دانلود کتاب Real-Time Systems: Formal Specification and Automatic Verification
کتاب سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار نسخه زبان اصلی
دانلود کتاب سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Real-Time Systems: Formal Specification and Automatic Verification
نام کتاب : Real-Time Systems: Formal Specification and Automatic Verification
ویرایش : 1
عنوان ترجمه شده به فارسی : سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار
سری :
نویسندگان : Ernst-Rudiger Olderog, Henning Dierks
ناشر : Cambridge University Press
سال نشر : 2008
تعداد صفحات : 339
ISBN (شابک) : 0521883334 , 9780521883337
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 12 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی