Logic, Computation and Rigorous Methods (e-bog) af -
Schewe, Klaus-Dieter (redaktør)

Logic, Computation and Rigorous Methods e-bog

436,85 DKK (inkl. moms 546,06 DKK)
This Festschrift was published in honor of Egon Borger on the occasion of his 75th birthday.It acknowledges Prof. Borger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Borger's research interests are unusual in scope, from programming languages to hardware architectures, software arch...
E-bog 436,85 DKK
Forfattere Schewe, Klaus-Dieter (redaktør)
Forlag Springer
Udgivet 4 juni 2021
Genrer KJQ
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783030760205
This Festschrift was published in honor of Egon Borger on the occasion of his 75th birthday.It acknowledges Prof. Borger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Borger'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.