A Survey of Recent Advances in SAT-Based Formal Verification

دانلود کتاب A Survey of Recent Advances in SAT-Based Formal Verification

38000 تومان موجود

کتاب بررسی پیشرفت‌های اخیر در راستی‌آزمایی رسمی مبتنی بر SAT

دانلود کتاب بررسی پیشرفت‌های اخیر در راستی‌آزمایی رسمی مبتنی بر SAT بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید



امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 5


توضیحاتی در مورد کتاب A Survey of Recent Advances in SAT-Based Formal Verification

نام کتاب : A Survey of Recent Advances in SAT-Based Formal Verification
عنوان ترجمه شده به فارسی : بررسی پیشرفت‌های اخیر در راستی‌آزمایی رسمی مبتنی بر SAT
سری : Software Tools for Technology Transfer
نویسندگان : ,
ناشر :
سال نشر : 1999
تعداد صفحات : 18
ISBN (شابک) : 9780521630177 , 0521630177
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 181 کیلوبایت



Buy This Book From EBOOKST.COM

بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.




پست ها تصادفی