عنوان
پدید آورنده
موضوع
رده
CD 1743-35
CD
1743-35
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
۱۷۴۳
عنوان و نام پديدآور
عنوان اصلي
Logic for concurrency and synchronisation]CD[
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ; Boston
نام ناشر، پخش کننده و غيره
Kluwer Academic Publishers
تاریخ نشرو بخش و غیره
c2003
مشخصات ظاهری
نام خاص و کميت اثر
xxi, 284 p. : ill. ; 25 cm.
فروست
عنوان فروست
Trends in logic ;v. 81
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Proof theory
عنصر شناسه ای
، Modality )Logic(
عنصر شناسه ای
، Parallel programming )Computer science(
رده بندی کنگره
شماره رده
CD
1743-35
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
edited by Ruy J.G.B. de Queiroz
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU ed .B .G .J yuR ,zorieuQ
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ش دیداری شنیداری‌بخ
