عنوان
پدید آورنده
موضوع
رده
QA9.54 .L64 2003
QA9
.
54
.
L64
2003
کتابخانه
محل استقرار
شابک
شابک
1402012705
شماره کتابشناسی ملی
کد کشور
IR
شماره
EB11731
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Logic for concurrency and synchronisation
نام عام مواد
[Electronic Resource]
نام نخستين پديدآور
/ edited by Ruy J.G.B. de Queiroz
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ; Boston
نام ناشر، پخش کننده و غيره
: Kluwer Academic Publishers,
تاریخ نشرو بخش و غیره
, c2003.
مشخصات ظاهری
نام خاص و کميت اثر
xxi, 284 p. ill. 25 cm.
فروست
عنوان فروست
(Trends in logic
مشخصه جلد
; v. 18)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
ng
متن يادداشت
Includes bibliographical references.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Proof theory
موضوع مستند نشده
Modality (Logic)
موضوع مستند نشده
Parallel programming (Computer science)
رده بندی ديویی
شماره
511
.
3
رده بندی کنگره
شماره رده
QA9
.
54
نشانه اثر
.
L64
2003
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Queiroz, Ruy J. G. B. de
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
1402012705.pdf
شماره دسترسي
محرمانه
اطلاعات مختصر
محرمانه
تاريخ و ساعت مذاکره و دسترسي
1402012705.pdf
بيت در ثانيه
0
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
