عنوان
پدید آورنده
موضوع
رده
QA76.9.D5
QA76
.
9
.
D5
کتابخانه
محل استقرار
شابک
شابک
3642385923 (electronic bk.)
شابک
9783642385926 (electronic bk.)
شابک اشتباه
9783642385919
شماره کتابشناسی ملی
شماره
b435037
عنوان و نام پديدآور
عنوان اصلي
Formal techniques for distributed systems
نام عام مواد
[Book]
ساير اطلاعات عنواني
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings /
نام نخستين پديدآور
Dirk Beyer, Michele Boreale (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2013
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource :
ساير جزييات
ill
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
7892
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Formal techniques for distributed systems.
شماره استاندارد بين المللي کتاب و موسيقي
3642385915
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
DisCoTec 2013
عنوان اصلي به زبان ديگر
FMOODS/FORTE 2013
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Electronic data processing-- Distributed processing, Congresses
موضوع مستند نشده
Formal methods (Computer science), Congresses
رده بندی ديویی
شماره
004
.
24
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
D5
شماره رده
QA76
.
9
.
D5
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Beyer, Dirk
مستند نام اشخاص تاييد نشده
Boreale, Michele
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Formal Methods for Open Object-Based Distributed Systems(13th :2013 :, Florence, Italy)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
DisCoTec 2013(2013 :, Florence, Italy)
مستند نام تنالگان تاييد نشده
FORTE (Conference)(33rd :2013 :, Florence, Italy)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network
مبدا اصلی
تاريخ عمليات
20130801090042.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
