1. <A> Roadmap for Formal Property Verification
المؤلف: \ by Pallab Dasgupta
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Integrated circuits -- Verification,مدار‌های مجتمع -- راستی‌آزمایی
رده :
E-Book
,
2. A roadmap for formal property verificatio
المؤلف: / by Pallab Dasgupta
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Verification
رده :
TK
,
7874
.
58
,.
D37
,
2006
3. A roadmap for formal property verification
المؤلف: / by Pallab Dasgupta
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Integrated circuits -- Verification
رده :
TK
7874
.
58
.
D37
2006
