عنوان
پدید آورنده
موضوع
رده
TK 7874 .D553 1990a
TK
7874
.
D553
1990a
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
97653
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Computer-aided verification: proceedings 2nd International conference, CAV'90
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Providence, RI; Baltimore, Md.
نام ناشر، پخش کننده و غيره
American Mathematical Society; Association for Computing Machinery
تاریخ نشرو بخش و غیره
1991
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 372 p.: ill.; 27 cm
فروست
عنوان فروست
Lecture notes in computer science
شاپا ي ISSN فروست
531
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Digital integrated circuits-- Computer-aided design
عنصر شناسه ای
Congresses ، Integrated circuits-- Verification
رده بندی کنگره
شماره رده
TK
7874
.
D553
1990a
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
E. M. Clarke, R. P. Kurshan, editors
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .M .E ,ekralC 1945-
عنصر شناسه اي
AU .P .R ,nahsruK 1943-
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
DIAMACS Worshop on computer- Aided Verification )2nd: 1980: Center for Discrete Mathematics and Theoretical Computer Science( )Conference()2nd: 1990: Center for Discrete Mathematics and Theoretical Computer Science(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
