Rigorous Methods in Theory and Practice
Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday
Buch in deiner Nähe kaufen
Beschreibung
This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. 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.
Prof. Börger has collaborated with a wide range of scientists and practitioners, their interests and successes are reflected in the papers contributed to this volume.
This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. 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.
Prof. Börger has collaborated with a wide range of scientists and practitioners, their interests and successes are reflected in the papers contributed to this volume.
Dedicated to a pioneer in the fields of logic and computer science Invited contributions in this volume by leading researchers in Computer Science Logic and Foundations of Programming Festschrift acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer
Autor*in
Alexander Raschke
Themen in »Rigorous Methods in Theory and Practice«
Computer Science Logic Rigorous Methods Abstract State Machines (ASM) Event-B Hybrid Systems Knowledge Representation Business Processes Modelling Alloy Formal Models Quantum Algorithms Distributed Computing Verification