ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

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

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

دانلود کتاب زمان خطی، زمان بندی و نظم جزئی در منطق و مدل برای همپوشانی: مدرسه / کارگاه، Noordwijkerhout، هلند 30 مه - 3 ژوئن 1988

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

مشخصات کتاب

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 354 
ISBN (شابک) : 9783540510802, 9783540461470 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1989 
تعداد صفحات: 721 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 14 مگابایت 

قیمت کتاب (تومان) : 42,000



کلمات کلیدی مربوط به کتاب زمان خطی، زمان بندی و نظم جزئی در منطق و مدل برای همپوشانی: مدرسه / کارگاه، Noordwijkerhout، هلند 30 مه - 3 ژوئن 1988: تکنیک های برنامه نویسی، ساختارهای کنترل و میکروبرنامه نویسی، معماری پردازنده، شبکه های ارتباطی کامپیوتری، سیستم عامل ها، ساختارهای داده



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زمان خطی، زمان بندی و نظم جزئی در منطق و مدل برای همپوشانی: مدرسه / کارگاه، Noordwijkerhout، هلند 30 مه - 3 ژوئن 1988 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زمان خطی، زمان بندی و نظم جزئی در منطق و مدل برای همپوشانی: مدرسه / کارگاه، Noordwijkerhout، هلند 30 مه - 3 ژوئن 1988



این جلد بر اساس \"مدرسه/کارگاه آموزشی زمان خطی، زمان انشعاب و نظم جزئی در منطق و مدل‌ها برای همزمانی\" است که توسط ویراستاران سازماندهی شده و در دوره 30 مه تا 3 ژوئن 1988 در Noordwijkerhout برگزار شده است. هلند. مدرسه/کارگاه فعالیتی از پروژه REX - تحقیق و آموزش در سیستم های همزمان بود. این جلد شامل آموزش ها و مشارکت های پژوهشی در سه رویکرد - زمان خطی، - زمان انشعاب، و - نظم جزئی در معناشناسی و نظریه اثبات برنامه های همزمان توسط متخصصان اصلی این حوزه است. درک عمیقی از مزایا و معایب نسبی این سه رویکرد را ترویج می کند. مقدمه ای بر ادبیات اخیر در مورد این موضوع توسط مشارکت های پژوهشی دعوت شده ارائه شده است.


توضیحاتی درمورد کتاب به خارجی

This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.



فهرست مطالب

Time, logic and computation....Pages 1-49
Process theory based on bisimulation semantics....Pages 50-122
Branching time temporal logic....Pages 123-172
Observing processes....Pages 173-200
The anchored version of the temporal framework....Pages 201-284
Basic notions of trace theory....Pages 285-363
An introduction to event structures....Pages 364-397
A logic for the description of behaviours and properties of concurrent systems....Pages 398-410
Permutation of transitions: An event structure semantics for CCS and SCCS....Pages 411-427
Expressibility results for linear-time and branching-time logics....Pages 428-437
Partial orderings descriptions and observations of nondeterministic concurrent processes....Pages 438-466
Modeling concurrency by partial orders and nonlinear transition systems....Pages 467-488
An efficient verification method for parallel and distributed programs....Pages 489-507
A logic for distributed transition systems....Pages 508-522
Fully abstract models for a process language with refinement....Pages 523-548
Strong bisimilarity on nets: A new concept for comparing net semantics....Pages 549-573
Nets of processes and data flow....Pages 574-602
Towards a temporal logic for causality and choice in distributed systems....Pages 603-627
Correctness and full abstraction of metric semantics for concurrency....Pages 628-659
Temporal logics for CCS....Pages 660-672
Behavioural presentations....Pages 673-689
Computation tree logic and regular ω-languages....Pages 690-713




نظرات کاربران