دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
دانلود کتاب همزمانی ، ترکیب بندی و صحت: مقاله هایی به احترام ویلم-پل دو روور
مشخصات کتاب
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
ویرایش: نویسندگان: Dennis Dams, Ulrich Hannemann (auth.), Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.) سری: Lecture Notes in Computer Science 5930 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642115110, 9783642115127 ناشر: Springer Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 382 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب همزمانی ، ترکیب بندی و صحت: مقاله هایی به احترام ویلم-پل دو روور نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب همزمانی ، ترکیب بندی و صحت: مقاله هایی به احترام ویلم-پل دو روور
این مجلد Festschrift که به افتخار ویلم-پل دوروور منتشر شده است، شامل 19 مقاله مفصل است که توسط دوستان و همکاران صاحب افتخار نوشته شده‌اند، که همگی دانشمندان برجسته به خودی خود هستند. قبل از اینها یک کتابشناسی مفصل ارائه شده و در پایان کتاب با گالری عکس گردآوری شده است.
مضمونی که مقالات بر اساس آن گردآوری شده است همسانی، ترکیب، و درستی است. ، منعکس کننده تمرکز حرفه تحقیقاتی ویلم پل دوروور است. موضوعات مورد بررسی عبارتند از بررسی مدل، علوم کامپیوتر و ماشین‌های حالت، هستی‌شناسی و صرف شناسی دامنه‌ها، نظریه بازی، صحت کامپایلر، زمان‌بندی منصفانه و الگوریتم‌های رمزگذاری.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of photographs.
The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms.
فهرست مطالب
Content:
Front Matter....Pages -
A Bibliography of Willem-Paul de Roever....Pages 1-9
Playing Savitch and Cooking Games....Pages 10-21
Compositionality: Ontology and Mereology of Domains....Pages 22-59
Computer Science and State Machines....Pages 60-65
A Small Step for Mankind....Pages 66-73
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention....Pages 74-95
Explicit Fair Scheduling for Dynamic Control....Pages 96-117
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence....Pages 118-126
Reasoning about Recursive Processes in Shared-Variable Concurrency....Pages 127-141
Formal Semantics of a VDM Extension for Distributed Embedded Systems....Pages 142-161
A Proof System for a PGAS Language....Pages 162-184
Concurrent Objects � la Carte....Pages 185-206
On the Power of Play-Out for Scenario-Based Programs....Pages 207-220
Proving the Refuted: Symbolic Model Checkers as Proof Generators....Pages 221-236
Meanings of Model Checking....Pages 237-249
Smaller Abstractions for ∀CTL* without Next....Pages 250-259
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment....Pages 260-276
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules....Pages 277-299
Automated Proofs for Asymmetric Encryption....Pages 300-321
Counterexample Guided Path Reduction for Static Program Analysis....Pages 322-341
Back Matter....Pages -
