عنوان
پدید آورنده
موضوع
رده
QA 76 .73 .A35 .B5
QA
76
.
73
.
A35
.
B5
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
77256
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Bjorner, Dines, 7391- ed
عنوان اصلي
Towards an formal description of Ada
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1980
مشخصات ظاهری
نام خاص و کميت اثر
xii, 630 p.
فروست
عنوان فروست
Lecture notes in computer science; 89
يادداشت کلی
متن يادداشت
Includes bibliographies
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Ada )Computer program language(
رده بندی کنگره
شماره رده
QA
76
.
73
.
A35
.
B5
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Ed. by D. Bjorner and O. N. Oest
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .N .O ,tseO
عنصر شناسه اي
SE
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
