عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Verification techniques for system-level design
پدید آورنده
Fujita, Masahiro
موضوع
، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(
رده
TK
7895
.
E42
.
F95
2008
کتابخانه
كتابخانه مركزي دانشگاه صنعتي شريف
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
66005817
-
021
144949
بهار۷۸
English
)50(
Fujita, Masahiro
6591-
Verification techniques for system-level design
Amsterdam; Boston
Morgan Kaufmann Publishers
2008
viii, 240 p.: ill.; 25 cm
The Morgan Kaufmann series in systems on silicon
Includes bibliographical references and index
، Systems on a chip-- Testing
، Integrated circuits-- Verification
، Formal methods )Computer science(
TK
7895
.
E42
.
F95
2008
AU
Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad
AU peedardnI ,hsohG 1970-
AU lukuM ,dasarP
TI
SE
05
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح