عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .M367 1993
QA
76
.
6
.
M367
1993
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
100873
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
پا‌ئیز۳۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
c1993
مشخصات ظاهری
نام خاص و کميت اثر
viii, 378 p. ; 24 cm
فروست
عنوان فروست
Lecture notes in computer science, 966
يادداشت کلی
متن يادداشت
"Papers ... presented at the Second International Conference on the Mathematics of Program Construction, held at St Catherine's College, Oxford, during the week of 29 June-3 July, 1992"--Pref
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Electronic digital computers-- Programming-- Congresses
عنصر شناسه ای
، Computer science-- Mathematics-- Congresses
رده بندی کنگره
شماره رده
QA
76
.
6
.
M367
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU nospmiS drahciR ,driB 1943-
عنصر شناسه اي
AU llorraC ,nagroM 1952-
عنصر شناسه اي
AU .miJ ,kcocdooW
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
