عنوان
پدید آورنده
موضوع
رده
QA 76.76 .E93C65 1992
QA
76
.
76
.
E93C65
1992
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
لاتين
عنوان و نام پديدآور
نام ساير پديدآوران
author
عنوان اصلي
Computer-aided verification
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
n.d
یادداشتهای مربوط به بسته بندی و دسترس بودن اثر
متن يادداشت
مرجع به حساب نمي آيد
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer software-Verification
عنصر شناسه ای
Electronic digital computers - Evaluation
رده بندی کنگره
شماره رده
QA
76
.
76
.
E93C65
1992
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
مولف
کد نقش
Kurshan, Robert
