Logic, Computation and Rigorous Methods (Heftet)

Essays Dedicated to Egon Boerger on the Occasion of His 75th Birthday

Serie: Programming and Software Engineering 12750

Innbinding: Heftet
Utgivelsesår: 2021
Antall sider: 353
Forlag: Springer Nature Switzerland AG
Språk: Engelsk
Serie:
Serienummer: 12750
ISBN/EAN: 9783030760199
Kategori: Data og Matematikk
Omtale Logic, Computation and Rigorous Methods
This Festschrift was published in honor of Egon Boerger on the occasion of his 75th birthday.

It acknowledges Prof. Boerger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Boerger'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.

Til toppen

Bøker i serien