Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday /

Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday /

Saved in:
Bibliographic Details
Imprint:Cham : Springer, 2021.
Description:1 online resource (367 p.).
Language:English
Series:Lecture Notes in Computer Science ; 12750
LNCS sublibrary, SL 2, Programming and software engineering
Lecture notes in computer science ; 12750.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject:
Software engineering.
Computer science.
Computer logic.
Computer logic.
Computer science.
Software engineering.
Electronic books.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/12614147
Hidden Bibliographic Details
Other authors / contributors:Raschke, Alexander.
Riccobene, Elvinia, 1964-
Schewe, Klaus-Dieter.
Börger, E. (Egon), 1946- honouree.
ISBN:9783030760205
3030760200
9783030760199
3030760197
Notes:Includes index.
Summary: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.
Other form:Print version: Raschke, Alexander Logic, Computation and Rigorous Methods Cham : Springer International Publishing AG,c2021 9783030760199
Standard no.:10.1007/978-3-030-76020-5
Description
Summary:

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.

Item Description:Includes index.
Physical Description:1 online resource (367 p.).
ISBN:9783030760205
3030760200
9783030760199
3030760197

Similar Items