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

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture notes in computer science ; 12750. Programming and software engineeringPublisher: Cham : Springer, [2021]Copyright date: © 2021Description: 1 Online-Ressource (xvi, 352 Seiten) : Illustrationen, DiagrammeISBN:

9783030760205

Subject(s):

Genre/Form:

Festschrift

Additional physical formats: 9783030760199 | Erscheint auch als: Logic, Computation and Rigorous Methods. Druck-Ausgabe. Cham : Springer, 2021. xvi, 352 SeitenDOI: DOI: 10.1007/978-3-030-76020-5Online resources:

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.PPN: PPN: 1761811126Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Holdings ( 0 )
Title notes ( 2 )

No physical items for this record

DE-3 Urheberrechtsschutz 1.0 rs:

http://rightsstatements.org/vocab/InC/1.0/