دانلود کتاب SAT-based scalable formal verification solutions
کتاب راه حل های تأیید رسمی مقیاس پذیر مبتنی بر SAT نسخه زبان اصلی
دانلود کتاب راه حل های تأیید رسمی مقیاس پذیر مبتنی بر SAT بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب SAT-based scalable formal verification solutions
نام کتاب : SAT-based scalable formal verification solutions
عنوان ترجمه شده به فارسی : راه حل های تأیید رسمی مقیاس پذیر مبتنی بر SAT
سری : Series on integrated circuits and systems
نویسندگان : Malay Ganai, Aarti Gupta
ناشر : Springer Science+Business Media
سال نشر : 2007
تعداد صفحات : 338
ISBN (شابک) : 9780387691664 , 0387691669
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی