Formal Verification of Sequential Hardware: A Tutorial
McFarland M.C.قیمت نهایی
- تخفیف زماندار−۹٬۰۰۰ تومان
۹٬۰۰۰ تومان صرفهجویی نسبت به قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
نسخه اصلی و اورجینال
فایل دیجیتال کامل و بدون دستکاری — همان نسخهای که پس از خرید دریافت میکنید.
مشخصات کتاب
- نویسنده
- McFarland M.C.
- ناشر
- 1993
- سال انتشار
- ۱۹۹۳
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۲٫۲ مگابایت
کتابهای مشابه
An Introduction to Formal Hardware Verification
۴۹٬۰۰۰ تومان
Formal verification of hardware correctness
۴۹٬۰۰۰ تومان
Formal Hardware Verification Methods: A Survey
۴۹٬۰۰۰ تومان
Formal Verification in Hardware Design: A Survey
۴۹٬۰۰۰ تومان
Introduction to formal hardware verification : 32 tables
۴۹٬۰۰۰ تومان
Hardware design verification : simulation and formal method-based approaches
۴۹٬۰۰۰ تومان
Formal verification of floating-point hardware design : a mathematical approach
۴۹٬۰۰۰ تومان
Formal Verification of Floating-Point Hardware Design : A Mathematical Approach
۴۹٬۰۰۰ تومان
Verification of Sequential and Concurrent Programs
۴۹٬۰۰۰ تومان
Verification of Sequential and Concurrent Programs
۴۹٬۰۰۰ تومان
Advanced Formal Verification
۴۹٬۰۰۰ تومان
Advanced Formal Verification
۴۹٬۰۰۰ تومان
قیمت نهایی
۴۰٬۰۰۰ تومان