دانلود کتاب Real-Time Systems: Formal Specification and Automatic Verification

49,000 تومان
سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار
موضوع اصلی کامپیوتر - شبکه
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 339
حجم فایل 12.36 مگابایت
کد کتاب 0521883334 , 9780521883337
نوبت چاپ 1

دانلود کتاب Real-Time Systems: Formal Specification and Automatic Verification

49,000 تومان
سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار
موضوع اصلی کامپیوتر - شبکه
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 338
حجم فایل 1.73 مگابایت
کد کتاب 0521883334 , 9780521883337
نوبت چاپ 1