عنوان
پدید آورنده
موضوع
رده
TK 7874 .C685 1989
TK
7874
.
C685
1989
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
91703
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin; New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1990
مشخصات ظاهری
نام خاص و کميت اثر
vi, 402 p.: ill.; 25 cm
فروست
عنوان فروست
Lecture notes in computer science
شاپا ي ISSN فروست
408
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing
عنصر شناسه ای
Congresses ، Integrated circuits-- Verification
رده بندی کنگره
شماره رده
TK
7874
.
C685
1989
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
M. Leeser, G. Brown, eds.; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 9891 proceedings
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU (mairiM).M ,reseeL 1958-
عنصر شناسه اي
AU (yerffoeG).G ,nworB 1960-
عنصر شناسه اي
CO Cornell University. Mathematical Sciences Institute
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
Cornell University. Mathematical Sciences Institute. Workshop )1989(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
