عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .M366 1989
QA
76
.
6
.
M366
1989
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
89337
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1989
مشخصات ظاهری
نام خاص و کميت اثر
vi, 420 p. : ill. ; 25 cm
فروست
عنوان فروست
Lecture notes in computer science, 573
يادداشت کلی
متن يادداشت
Papers presented at the Conference on Mathematics of Program Construction
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Electronic digital computers-- Programming-- Congresses
عنصر شناسه ای
، Computer science-- Mathematics-- Congresses
رده بندی کنگره
شماره رده
QA
76
.
6
.
M366
1989
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
J.L.A. van de Snepscheut )ed.(
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU tuehcspenS ed naV 1953-
عنصر شناسه اي
CO Conference on Mathematics of Program Construction, Groningen, Netherlands(, )9891
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
