Logic, Computation and Rigorous Methods

£44.99

Logic, Computation and Rigorous Methods

Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Business mathematics and systems Mathematical foundations Mathematical logic Programming and scripting languages: general Software Engineering Mathematical theory of computation

Dinosaur mascot

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 4th June 2021

Format: LCP-protected ePub

Size: 24 Mb

ISBN: 9783030760205


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.

Show moreShow less