عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Constraint-based verification
پدید آورنده
Yuan, Jun
موضوع
، Constraints )Artificial intelligence(,Testing ، Digital electronics,Testing ، Electronic systems,Design and construction ، Electronic systems
رده
QA
340
.
Y92C6
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Constraint-based verification
New York
Springer
c2006
xii, 253 p.: ill., tables.
Bibliography: p.]231[-246
ISBN: 0387259473
Jun Yuan, Carl Pixley, Adnan Aziz
1
، Constraints )Artificial intelligence(
Testing ، Digital electronics
Testing ، Electronic systems
Design and construction ، Electronic systems
QA
340
.
Y92C6
Yuan, Jun
AU
AU Pixley, Carl
AU Aziz, Adnan
TI
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح