• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Formal techniques for distributed objects, components, and systems :

پدید آورنده
Jorge A. Pérez, Nobuko Yoshida (eds.).

موضوع
Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)

رده
QA76
.
9
.
D5
.
F67
2019

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
3030217590
شابک
3030217604
شابک
9783030217594
شابک
9783030217600
شابک اشتباه
3030217582
شابک اشتباه
9783030217587

عنوان و نام پديدآور

عنوان اصلي
Formal techniques for distributed objects, components, and systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /
نام نخستين پديدآور
Jorge A. Pérez, Nobuko Yoshida (eds.).

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2019]

مشخصات ظاهری

نام خاص و کميت اثر
1 online resource

فروست

عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
11535

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliographical references and author index.

یادداشتهای مربوط به مندرجات

متن يادداشت
Psi-Calculi Revisited: Connectivity and Compositionality -- Squeezing Streams and Composition of Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow Analysis -- Component-aware Input-Output Conformance -- Declarative Choreographies and Liveness -- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes -- Causal-Consistent Replay Debugging for Message Passing Programs -- Correct and Efficient Antichain Algorithms for Refinement Checking -- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification -- Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs -- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework -- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems -- On Certifying Distributed Algorithms: Problem of Local Correctness -- On a Higher-order Calculus of Computational Fields -- Semantically Sound Analysis of Content Security Policies.
بدون عنوان
0

یادداشتهای مربوط به خلاصه یا چکیده

متن يادداشت
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

یادداشتهای مربوط به سفارشات

منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030217594

ویراست دیگر از اثر در قالب دیگر رسانه

عنوان
Formal techniques for distributed objects, components, and systems.
شماره استاندارد بين المللي کتاب و موسيقي
9783030217587

عنوان اصلی به زبان دیگر

عنوان اصلي به زبان ديگر
FORTE 2019

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Computer network protocols, Congresses.
موضوع مستند نشده
Electronic data processing-- Distributed processing, Congresses.
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Computer network protocols.
موضوع مستند نشده
Electronic data processing-- Distributed processing.
موضوع مستند نشده
Formal methods (Computer science)

مقوله موضوعی

موضوع مستند نشده
COM051230
موضوع مستند نشده
UMZ
موضوع مستند نشده
UMZ

رده بندی ديویی

شماره
004/
.
36
ويراست
23

رده بندی کنگره

شماره رده
QA76
.
9
.
D5
نشانه اثر
.
F67
2019

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Pérez, Jorge A.
مستند نام اشخاص تاييد نشده
Yoshida, Nobuko

نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام تنالگان تاييد نشده
FORTE Conference(39th :2019 :, Kongens Lyngby, Denmark)

نام تنالگان _ (مسئولیت معنوی برابر)

مستند نام تنالگان تاييد نشده
International Federated Conferences on Distributed Computing Techniques(14th :2019 :, Kongens Lyngby, Denmark), jointly held conference.

مبدا اصلی

تاريخ عمليات
20200823092159.0
قواعد فهرست نويسي ( بخش توصيفي )
pn

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال