عنوان
پدید آورنده
موضوع
رده
QA76.642 .I56 1990
QA76
.
642
.
I56
1990
کتابخانه
محل استقرار
شابک
شابک
0387196250
شماره کتابشناسی ملی
کد کشور
IR
شماره
1407
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Semantics for concurrency : proceedings of the International BCS-FACS Workshop
نام عام مواد
[Book]
نام نخستين پديدآور
/ sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
نام ساير پديدآوران
; (editors) M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London, New York
نام ناشر، پخش کننده و غيره
: Springer-Verlag
تاریخ نشرو بخش و غیره
, 1990.
مشخصات ظاهری
نام خاص و کميت اثر
viii, 346 p.
ساير جزييات
: ill.
ابعاد
; 25 cm
فروست
عنوان فروست
(Workshops in computing)
يادداشت کلی
متن يادداشت
Language: انگلیسی
متن يادداشت
Published in collaboration with the British Computer Society
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Parallel programming (Computer science) - Congresses
عنصر شناسه ای
Programming languages (Electronic computers) - Semantics - Congresses
رده بندی کنگره
شماره رده
QA76
.
642
نشانه اثر
.
I56
1990
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
International BCS-FACS Workshop, University of Leicestert, (1990
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Kwiatkowska, Marta Z، .1957-
مستند نام اشخاص تاييد نشده
Shields, Michael William، 1950-
مستند نام اشخاص تاييد نشده
Thomas, Richard Monro، 1952-
مستند نام اشخاص تاييد نشده
S.E.R.C. Logic for IT
مستند نام اشخاص تاييد نشده
British Computer Society
مبدا اصلی
کشور
ایران
سازمان
دانشگاه بین المللی امام خمینی قزوین
شماره دستیابی
شماره بازیابی
QA76.642 .I56 1990
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
