Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday / Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.).

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

Full description

Saved in:
Bibliographic Details
Other Authors: Raschke, Alexander, Riccobene, Elvinia, 1964-, Schewe, Klaus-Dieter, Börger, E. (Egon), 1946- (honouree.)
Format: eBook
Language:English
Published: Cham : Springer, 2021.
Series:Lecture notes in computer science ; 12750.
LNCS sublibrary. Programming and software engineering.
Subjects:
Online Access:Click for online access