Logic, Computation and Rigorous Methods Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /

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 intere...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Raschke, Alexander. (Editor, http://id.loc.gov/vocabulary/relators/edt), Riccobene, Elvinia. (Editor, http://id.loc.gov/vocabulary/relators/edt), Schewe, Klaus-Dieter. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:1st ed. 2021.
Series:Programming and Software Engineering ; 12750
Subjects:
Online Access:https://doi.org/10.1007/978-3-030-76020-5