عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.86
QA
76
.
L4
v
.
86
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
عنوان اصلي
Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
New York : Springer-Verlag
تاریخ نشرو بخش و غیره
1980
مشخصات ظاهری
نام خاص و کميت اثر
xi, 566 p. : ill. ; 25 cm
فروست
ساير اطلاعات عنواني
Lecture notes in computer science, 68
يادداشت کلی
متن يادداشت
Sponsored by the Commission of the European Communities and others
متن يادداشت
Includes bibliographies
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by D. Bjorner
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Electronic digital computers - Programming
رده بندی کنگره
شماره رده
QA
76
.
L4
v
.
86
سایر رده بندی ها
شماره رده
CA
شماره رده
001
.
64/2
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Bjorner, Dines 1937-
عنصر شناسه اي
CO Commission of the European Communities
عنصر شناسه اي
TI
عنصر شناسه اي
SE
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Copenhagen Winter School on Abstract Software Specifications, )1979(
