Logic, Computation and Rigorous Methods

Logic, Computation and Rigorous Methods

  • Alexander Raschke
  • Elvinia Riccobene
  • Klaus-Dieter Schewe
Publisher:Springer NatureISBN 13: 9783030760205ISBN 10: 3030760200

Paperback & Hardcover deals ―

Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹3,503Book ChorGOCrosswordGODC BooksGO

e-book & Audiobook deals ―

Amazon India GOGoogle Play Books ₹43.44Audible GO

* Price may vary from time to time.

* GO = We're not able to fetch the price (please check manually visiting the website).

Know about the book -

Logic, Computation and Rigorous Methods is written by Alexander Raschke and published by Springer Nature. It's available with International Standard Book Number or ISBN identification 3030760200 (ISBN 10) and 9783030760205 (ISBN 13).

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.