عنوان
پدید آورنده
موضوع
رده
Q 340 .Y83
Q
340
.
Y83
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Constraint-based verification
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York, NY
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2006
مشخصات ظاهری
نام خاص و کميت اثر
xii, 253 p. : ill. ; 24 cm.
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. ]231[-246( and index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Jun Yuan, Carl Pixley, Adnan Aziz
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Constraints )Artificial intelligence(
عنصر شناسه ای
Testing ، Digital electronics
عنصر شناسه ای
Testing ، Electronic systems
عنصر شناسه ای
Design and construction ، Electronic systems
رده بندی ديویی
شماره
005
.
115
رده بندی کنگره
شماره رده
Q
340
.
Y83
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Yuan, Jun.
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Pixley, Carl
عنصر شناسه اي
AU Aziz, Adnan
عنصر شناسه اي
TI
