عنوان
پدید آورنده
موضوع
رده
QA 76.9 .D5F6 2015 E-Book ,
QA
76
.
9
.
D5F6
2015
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9783319191942
شماره کتابشناسی ملی
شماره
13508
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Formal Techniques for Distributed Objects, Components, and Systems
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 Grenoble, France, June 2–4, 2015 Proceedings
نام نخستين پديدآور
\ Susanne Graf , Mahesh Viswanathan (Eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
مشخصات ظاهری
نام خاص و کميت اثر
xii, 245 p
ساير جزييات
:ill
فروست
عنوان فروست
Lecture Notes in Computer Science
مشخصه جلد
; 9039
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Electronic data processing -- Distributed processing -- Congresses.
موضوع مستند نشده
Formal methods (Computer science) -- Congresses.
موضوع مستند نشده
Computer network protocols -- Congresses.
موضوع مستند نشده
داده‌پردازی -- پردازش توزبع شده -- کنگره ها
موضوع مستند نشده
روش‌های صوری (کامپیوتر) -- کنگره ها
موضوع مستند نشده
پروتکل‌های شبکه کامپیوتری -- کنگره ها
رده بندی کنگره
شماره رده
QA
76
.
9
نشانه اثر
.
D5F6
2015
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Graf, Susanne
مستند نام اشخاص تاييد نشده
Viswanathan, Mahesh
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Federated Conferences on Distributed Computing Techniques (10th : 2015 : Grenoble, France)
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319191942.pdf
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
