دانلود کتاب Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science, 12750)

Name: Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science, 12750)
Availability: InStock
Author: Alexander Raschke (editor)
ISBN: 3030760197,9783030760199

by Alexander Raschke (editor), Elvinia Riccobene (editor), Klaus-Dieter Schewe (editor)

عنوان فارسی: منطق ، محاسبه و روشهای دقیق: مقالات اختصاصی به اگون بورگر به مناسبت تولد 75 سالگی وی (یادداشتهای سخنرانی در علوم کامپیوتر ، 12750)
ناشر: Springer
سال: 2021
ویرایش: 1st ed. 2021
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 369-367
شابک: 3030760197,9783030760199
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 19.34 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.