عنوان
پدید آورنده
موضوع
رده
QA 76.6 .M367 1992
QA
76
.
6
.
M367
1992
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
H1
عنوان و نام پديدآور
عنوان اصلي
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
viii, 378 p
فروست
عنوان فروست
Lecture notes in computer science, 669
يادداشت کلی
متن يادداشت
"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
شماره رکورد غير از شماره رده بندي
1992
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
