عنوان

Formal hardware verification : methods and systems in comparison

پدید آورنده

Thomas Kropf, )ed.(

موضوع

Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design

رده

QA

76
.
L28

Vol
.
1287

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

تماس با کتابخانه : 22291812-021

Formal hardware verification : methods and systems in comparison

Berlin

Springer-Verlag

c1997

xii, 367 p.: ill., tables

Lecture notes in computer science; 7821

Bibliography: p.]349[-367

ISBN 3540634754

Thomas Kropf, )ed.(

1

Design and construction -- Data processing ، Integrated circuits -- Very large scale integration

، Integrated circuits -- Verification

، Computer-aided design

QA

76

.

L28

Vol

.

1287

TI

AU Kropf, Thomas, 1961-

SE

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها