عنوان
پدید آورنده
موضوع
رده
TK7874 .K866 1997
TK7874
.
K866
1997
کتابخانه
محل استقرار
استان: آذربایجان شرقی ـ شهر: تبریز
شابک
شابک
0792399218
شماره کتابشناسی ملی
کد کشور
IR
شماره
90-944
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Reasoning in Boolean networks
نام عام مواد
[Book]
ساير اطلاعات عنواني
:logic synthesis and verification using testing techniques
نام نخستين پديدآور
/ by Wolfgang Kunz and Dominik Stoffel
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
: Kluwer Academic Publishers,
تاریخ نشرو بخش و غیره
, c1997.
مشخصات ظاهری
نام خاص و کميت اثر
xv, 230 p.
ساير جزييات
:, ill.
ابعاد
; 25 cm.
فروست
عنوان فروست
(Frontiers in electronic testing)
يادداشت کلی
متن يادداشت
Language: انگلیسی
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 201-212) and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Integrated circuits, Very large scale integration, Testing, Data processing
موضوع مستند نشده
Integrated circuits, Verification, Data processing
موضوع مستند نشده
Logic design, Data processing
رده بندی کنگره
شماره رده
TK7874
نشانه اثر
.
K866
1997
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Kunz, Wolfgang.
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Stoffel, Dominik
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
