From Logic and Computation Theory to Rigorous Methods for Software Engineering: Essays Dedicated to Egon B?rger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science, 12750) 1st ed. 2021 Edition

ISBN 10: 3030760197 / ISBN 13: 9783030760199

Verlag: Springer, 2021

Beschreibung

Print on Demand.

Bestandsnummer des Verkäufers 379178944

Bibliografische Details

• Titel: From Logic and Computation Theory to Rigorous Methods for Software Engineering: Essays Dedicated to Egon B?rger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science, 12750) 1st ed. 2021 Edition
• Verlag: Springer
• Erscheinungsjahr: 2021
• Sprache: Englisch
• ISBN-10: 3030760197
• ISBN-13: 9783030760199
• Einband: Softcover
• Zustand: New

Über diesen Titel

Inhaltsangabe

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.