عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings
پدید آورنده
موضوع
Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification
رده
QA
76
.
76
.
E93
.
C38
2001
کتابخانه
كتابخانه مركزي دانشگاه صنعتي شريف
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
66005817
-
021
130964
تابستان۲۸
English
)91(
Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings
Berlin
Springer
2001
xiii, 520 p.: ill.; 24 cm
Lecture notes in computer science, 2030-3479
2102
Includes bibliographical references and index
Congresses ، Computer software-- Verification
Congresses ، Integrated circuits-- Verification
QA
76
.
76
.
E93
.
C38
2001
AU
Gerard Berry, Hubert Comon, Alain Finkel )eds.(
AU trebuH ,nomoC
AU drareG ,yrreB 1948-
AU .A ,lekniF
TI
SE
CAV )Conference( )13th: 2001: Paris(
129
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح