عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
پدید آورنده
Mandayam Srivas, Albert Camilleri, )eds.(
موضوع
Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده
QA
76
.
L28
Vol
.
1166
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
1996: Palo Alto, Calif.
Berlin
Springer-Verlag
c1996
ix, 470 p.: ill., tables
Lecture notes in computer science; 6611
Includes bibliographies
ISBN 3540619372
Mandayam Srivas, Albert Camilleri, )eds.(
1
Design and construction -- Data processing -- Congresses ، Digital integrated circuits
Congresses ، Computer-aided design
Congresses ، Automatic theorem proving
Congresses ، Integrated circuits -- Verification
QA
76
.
L28
Vol
.
1166
AU
AU Srivas, Mandayam
AU Camilleri, Albert
TI
SE
FMCAD
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح