عنوان
پدید آورنده
موضوع
رده
TK 7874.75 .K76 1999
TK
7874
.
75
.
K76
1999
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
CE
عنوان و نام پديدآور
نام نخستين پديدآور
Kropf, Thomas
عنوان اصلي
Introduction to formal hardware verification
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1999
مشخصات ظاهری
نام خاص و کميت اثر
ix, 299 p
يادداشت کلی
متن يادداشت
Includes bibliographical refrences )p. ]277[-289( and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Integrated circuits - Very large scale integration - Computer-aided design
عنصر شناسه ای
Integrated circuits - Verification
رده بندی کنگره
شماره رده
TK
نشانه اثر
7874
.
75
شماره رکورد رده بندي
.
K76
شماره رکورد غير از شماره رده بندي
1999
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
تاريخ
1961-
عنصر شناسه اي
Thomas Kropf
