دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
دانلود کتاب منطق نرم افزار. منوی مزهای از روشهای رسمی: مقالات تقدیم به راینر هانله به مناسبت شصتمین سالگرد تولد او
مشخصات کتاب
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
ویرایش: نویسندگان: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen سری: Lecture Notes in Computer Science, 13360 ISBN (شابک) : 303108165X, 9783031081651 ناشر: Springer سال نشر: 2022 تعداد صفحات: 533 [530] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 25 Mb
قیمت کتاب (تومان) : 69,000
در صورت تبدیل فایل کتاب The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق نرم افزار. منوی مزهای از روشهای رسمی: مقالات تقدیم به راینر هانله به مناسبت شصتمین سالگرد تولد او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق نرم افزار. منوی مزهای از روشهای رسمی: مقالات تقدیم به راینر هانله به مناسبت شصتمین سالگرد تولد او
این Festschrift که به مناسبت شصتمین سالگرد تولد او به
راینر هانله تقدیم شده است، حاوی مقالاتی است که توسط بسیاری از
نزدیکترین همکاران او نوشته شده است.
پس از سمتی در موسسه فناوری کارلسروهه و دانشگاه فناوری
چالمرز ، از سال 2011 رینر ریاست استادی مهندسی نرم افزار در
دانشگاه فنی دارمشتات را بر عهده دارد، جایی که تیم او بر تأیید
رسمی نرم افزارهای شی گرا، مدل سازی رسمی و مشخصات سیستم های
نرم افزاری بسیار سازگار، و مدل سازی و تحلیل رسمی در حوزه هایی
از این قبیل تمرکز دارد. به عنوان سیستم های بیولوژیکی و عملیات
راه آهن. کار او با دستاوردهای تئوری و در پیاده سازی های عملی
مشخص می شود، همکاری های قابل توجهی شامل پروژه Key و توسعه
زبان ABS است. او بهعنوان رئیس و سردبیر کنفرانسهای مهم
دانشگاهی مرتبط خدمت کرده است، و تقریباً 200 نشریه دانشگاهی را
تالیف کرده است.
مشارکتهای این جلد نشاندهنده تمرکز اصلی تحقیق راینر
است: روشهای رسمی. ، به ویژه برای تأیید نرم افزار اعمال می
شود.
توضیحاتی درمورد کتاب به خارجی
This Festschrift, dedicated to Reiner Hähnle on the
occasion of his 60th birthday, contains papers written by many
of his closest collaborators.
After positions at Karlsruhe Institute of Technology
and Chalmers University of Technology, since 2011 Reiner has
been the chaired professor of Software Engineering at
Technische Universität Darmstadt, where his team focuses on
the formal verification of object-oriented software, the
formal modeling and specification of highly adaptive software
systems, and formal modeling and analysis in domains such as
biological systems and railroad operations. His work is
characterized by achievements in theory and in practical
implementations, significant collaborations include the KeY
project and the development of the ABS language. He has
served as chair and editor of important related academic
conferences, and coauthored almost 200 academic
publications.
The contributions in this volume reflect Reiner’s main
research focus: formal methods, in particular applied to
software verification.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Multiobjective Problem Solving from Nature: From Concepts to Applications
دانلود کتاب Iron John: A Book About Men
دانلود کتاب ¿Qué proponen los partidos políticos para Lima Metropolitana y cuáles son los desafíos de la próxima gestión?
