دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
دانلود کتاب طراحی صحیح سیستم: سمپوزیوم بزرگداشت ارنست-رودیگر اولدروگ به مناسبت تولد 60 سالگی ، اولدنبورگ ، آلمان ، 8-9 سپتامبر 2015 ، مجموعه مقالات
مشخصات کتاب
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
ویرایش: 1 نویسندگان: Roland Meyer, André Platzer, Heike Wehrheim (eds.) سری: Lecture Notes in Computer Science 9360 ISBN (شابک) : 9783319235059, 9783319235066 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 280 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب طراحی صحیح سیستم: سمپوزیوم بزرگداشت ارنست-رودیگر اولدروگ به مناسبت تولد 60 سالگی ، اولدنبورگ ، آلمان ، 8-9 سپتامبر 2015 ، مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، منطق و مبانی ریاضی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلر، مترجمان، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب طراحی صحیح سیستم: سمپوزیوم بزرگداشت ارنست-رودیگر اولدروگ به مناسبت تولد 60 سالگی ، اولدنبورگ ، آلمان ، 8-9 سپتامبر 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب طراحی صحیح سیستم: سمپوزیوم بزرگداشت ارنست-رودیگر اولدروگ به مناسبت تولد 60 سالگی ، اولدنبورگ ، آلمان ، 8-9 سپتامبر 2015 ، مجموعه مقالات
این کتاب به مناسبت تولد 60 سالگی پروفسور ارنست-رودیگر اولدروگ تقدیم شده است. این جلد بازتابی است بر کمک های پروفسور اولدروگ به جامعه علمی. این نمونه ای از ایده های پژوهشی را ارائه می دهد که مستقیماً تحت تأثیر کار ارنست-رودیگر اولدروگ قرار گرفته اند. پس از بخش ستایشی که مروری کوتاه بر تحقیقات ارنست-رودیگر اولدروگ ارائه می‌کند، این کتاب از پنج بخش با مقالات علمی نوشته شده توسط همکاران و همکاران پروفسور اولدروگ تشکیل شده است. این مقالات به معناشناسی، جبرهای فرآیند، منطق برای تأیید، تجزیه و تحلیل برنامه، و رویکردهای ترکیبی می پردازند.
توضیحاتی درمورد کتاب به خارجی
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.
فهرست مطالب
Front Matter....Pages I-XII
Front Matter....Pages 1-1
From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog....Pages 3-4
Ernst-Rüdiger Olderog: A Life for Meaning....Pages 5-9
Warmest Congratulations, Ernst-Rüdiger!....Pages 10-11
Front Matter....Pages 13-13
Understanding Probabilistic Programs....Pages 15-32
Fairness for Infinitary Control....Pages 33-43
Evaluation Trees for Proposition Algebra....Pages 44-61
Front Matter....Pages 63-63
On Applicative Similarity, Sequentiality, and Full Abstraction....Pages 65-82
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems....Pages 83-98
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP....Pages 99-130
Front Matter....Pages 131-131
Translating Testing Theories for Concurrent Systems....Pages 133-151
No Need Knowing Numerous Neighbours....Pages 152-171
Automated Reasoning Building Blocks....Pages 172-188
Front Matter....Pages 189-189
Being and Change: Reasoning About Invariance....Pages 191-204
Toward Compact Abstractions for Processor Pipelines....Pages 205-220
Front Matter....Pages 221-221
Bounded Synthesis for Petri Games....Pages 223-237
Mediator Synthesis in a Component Algebra with Data....Pages 238-259
Safe and Optimal Adaptive Cruise Control....Pages 260-277
Back Matter....Pages 279-279
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Identify: Building Brands Through Letterhead Logo and Business Cards
دانلود کتاب British Motorcycles of the 1960s and '70s
دانلود کتاب The TAB Book of Arduino Projects: 36 Things to Make with Shields and Proto Shields
دانلود کتاب Foundations of International Agricultural Research: Science and Politics in Mexican Agriculture (Wertview Special Studies in Agriculture Science and)
