Logic, Computation and Rigorous Methods

Alexander Raschke

ISBN 10: 3030760197 / ISBN 13: 9783030760199

Published by Springer International Publishing Jun 2021, 2021

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift was published in honor of Egon Börger on the occasion of his 75thbirthday.It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields oflogic 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. 372 pp. Englisch.

Seller Inventory # 9783030760199

Bibliographic Details

• Title: Logic, Computation and Rigorous Methods
• Publisher: Springer International Publishing Jun 2021
• Publication Date: 2021
• Language: English
• ISBN 10: 3030760197
• ISBN 13: 9783030760199
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

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.