دسته: ریاضیات گسسته
دانلود کتاب روشهای رسمی برای تأیید مدارهای دیجیتال بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Formal Methods for the Verification of Digital Circuits
عنوان ترجمه شده به فارسی : روشهای رسمی برای تأیید مدارهای دیجیتال
سری :
نویسندگان : Van Eijk C.A.J.
ناشر :
سال نشر :
تعداد صفحات : 156
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 552 کیلوبایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.