عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .E93 .C38 1993
QA
76
.
76
.
E93
.
C38
1993
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
100894
شماره استاندارد
100868
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
تا‌بستا‌ن۳۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin; New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
ix, 422 p.: ill.; 24 cm
فروست
عنوان فروست
Lecture notes in computer science
شاپا ي ISSN فروست
663
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Computer software-- Verification
عنصر شناسه ای
Congresses ، Electronic digital computers-- Evaluation
رده بندی کنگره
شماره رده
QA
76
.
76
.
E93
.
C38
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
G. v. Bochmann, D. K. Probst, eds
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU nov rogerG ,nnamhcoB 1941-
عنصر شناسه اي
AU lraK divaD ,tsborP 1945-
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
CAV'92, )4th: 1992: Montreal, Quebec(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
نحوه قرار گرفتن مدرك روي قفسه
02
