Umfang:
1 Online-Ressource (xvi, 352 Seiten)
,
Illustrationen, Diagramme
ISBN:
9783030760205
Serie:
Lecture notes in computer science 12750
Inhalt:
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.
Weitere Ausg.:
ISBN 9783030760199
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Logic, Computation and Rigorous Methods Cham : Springer, 2021 ISBN 9783030760199
Sprache:
Englisch
Schlagwort(e):
Abstrakte Zustandsmaschine
;
Mathematische Logik
;
Wissensrepräsentation
;
Festschrift
DOI:
10.1007/978-3-030-76020-5
Mehr zum Autor:
Raschke, Alexander
Mehr zum Autor:
Börger, Egon 1946-
