عنوان
پدید آورنده
موضوع
رده
TK 7888.4 .M43 1993
TK
7888
.
4
.
M43
1993
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
لاتين
عنوان و نام پديدآور
نام نخستين پديدآور
by Kenneth L. McMillan
نام ساير پديدآوران
author
عنوان اصلي
Symbolic model checking
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
Kluwer Academic
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
xv, 194p.: ill.; 28 cm
یادداشتهای مربوط به بسته بندی و دسترس بودن اثر
متن يادداشت
مرجع به حساب نمي آيد
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 183-190) and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Electronic digital computers - Circuits - Design - Data processing
عنصر شناسه ای
Symbolic circuit analysis - Data processing
عنصر شناسه ای
Logic design - Data processing
رده بندی کنگره
شماره رده
TK
7888
.
4
.
M43
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
مولف
کد نقش
McMillan, Kenneth L.
