عنوان
پدید آورنده
موضوع
رده
QA 76 .758 .L54 1996
QA
76
.
758
.
L54
1996
کتابخانه
محل استقرار
شابک
شابک
981-02-2804-X
شناسگر استاندارد دیگر
شماره استاندارد
202169
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
englishus
عنوان و نام پديدآور
نام نخستين پديدآور
Tang, Chih- Sung, 5291-
عنوان اصلي
Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Singapore ; New Jersey
نام ناشر، پخش کننده و غيره
World Scientific
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
viii, 311p.: ill., col.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Software engineering - Congresses
عنصر شناسه ای
، Logic, Symbolic and mathematical - Congresses
رده بندی کنگره
شماره رده
QA
76
.
758
.
L54
1996
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Chih- Sung Tang; editors, A. Pnueli, H. Lin
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU A ,ileunP
عنصر شناسه اي
AU (nimiuH) .H ,niL
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ه مرکزی‌ان‌ابخ‌کت
