Editors:
- 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
- Invited contributions in this volume by leading researchers in the areas of Software Engineering, Programming Languages, Business Information Systems, and Computer Science Logic
- Festschrift acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12750)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (18 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Editors and Affiliations
-
Institut für Softwaretechnik und Programmiersprachen, University of Ulm, Ulm, Germany
Alexander Raschke
-
Dipartimento di Informatica, Università degli Studi di Milano, Crema, Italy
Elvinia Riccobene
-
UIUC Institute, Zhejiang University, Haining, China
Klaus-Dieter Schewe
Bibliographic Information
Book Title: Logic, Computation and Rigorous Methods
Book Subtitle: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Editors: Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-76020-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-76019-9Published: 04 June 2021
eBook ISBN: 978-3-030-76020-5Published: 04 June 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 353
Number of Illustrations: 47 b/w illustrations, 75 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Professional Computing, Theory of Computation, Business Information Systems, Mathematical Logic and Foundations