عنوان
پدید آورنده
موضوع
رده
QA 76.76 .V47 C38 1993
QA
76
.
76
.
V47
C38
1993
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
H1
عنوان و نام پديدآور
عنوان اصلي
Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
ix, 422 p. : ill
فروست
عنوان فروست
Lecture notes in computer science, 663
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer software Verification -- Congresses
عنصر شناسه ای
Integrated circuits Verification -- Congresses
عنصر شناسه ای
Electronic digital computers Evaluation -- Congresses
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
76
شماره رکورد رده بندي
.
V47
C38
شماره رکورد غير از شماره رده بندي
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
CO
عنصر شناسه اي
G. v. Bochmann, D.K. Probst, eds
شناسه افزوده (تنالگان)
عنصر شناسه اي
CAV )Conference( )4th : 1992 : Montreal, Quebec(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
