عنوان
پدید آورنده
موضوع
رده
TK,7874.75,F68,2004eb
TK
,
7874
.
75
,
F68
,
2004eb
کتابخانه
محل استقرار
شابک
شابک
9781402080289
شماره کتابشناسی ملی
کد کشور
IR
شماره
ebook21527
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Assertion-based desig
نام عام مواد
[Electronic Resource]
نام نخستين پديدآور
/ Harry Foster, Adam Krolnik, David Lacey
وضعیت ویراست
وضعيت ويراست
2nd ed.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
: Kluwer Academic Publishers,
تاریخ نشرو بخش و غیره
, c2004.
مشخصات ظاهری
نام خاص و کميت اثر
xxiii, 390 p.
ساير جزييات
: ill. ; 24 cm.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 379-383) and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Integrated circuits--Very large scale integration--Design and construction
موضوع مستند نشده
Integrated circuits--Verification
موضوع مستند نشده
Verilog (Computer hardware description language)
رده بندی ديویی
شماره
621
.
39
,
5
رده بندی کنگره
شماره رده
TK
,
7874
.
75
,
F68
,
2004eb
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Foster, Harry, 1956
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Krolnik, Adam
مستند نام اشخاص تاييد نشده
Lacey, David
مستند نام اشخاص تاييد نشده
SpringerLink (Online service
مبدا اصلی
کشور
ایران
شماره دستیابی
شماره بازیابی
621.39,5
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
140208028X.pdf
نوع فرمت الکترونيکي
0
نوع فرمت الکترونيکي
0
نوع فرمت الکترونيکي
0
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
