عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدید آورنده
Warren A. Hunt, Jr., Fabio Somenzi )eds.(
موضوع
Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده
QA
76
.
L28
Vol
.
2725
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
15th: 2003: Boulder, Colo.
Berlin
Springer-Verlag
2003
xii, 462 p. : ill
Lecture notes in computer science; 5272
Includes bibliographies
ISBN: 3540405240
Warren A. Hunt, Jr., Fabio Somenzi )eds.(
1
Congresses ، Computer software -- Verification
Congresses ، Integrated circuits -- Verification
Evaluation -- Congresses ، Electronic digital computers
QA
76
.
L28
Vol
.
2725
TI
Dynamical
systems
1
AU
AU Hunt, Warren A., 1958-
AU Somenzi, Fabio
TI
SE
CAV
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح