Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Logic, Computation and Rigorous Methods

Logic, Computation and Rigorous Methods

By Alexander Raschke, Elvinia Riccobene & Klaus-Dieter Schewe Software 04/06/2021

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.

Read More
More Books from Alexander Raschke, Elvinia Riccobene & Klaus-Dieter Schewe
Logic, Computation and Rigorous Methods Alexander Raschke, Elvinia Riccobene & Klaus-Dieter Schewe
Logic, Computation and Rigorous Methods
Rigorous State-Based Methods Alexander Raschke, Dominique Méry & Frank Houdek
Rigorous State-Based Methods
Abstract State Machines, Alloy, B, TLA, VDM, and Z Michael Butler, Alexander Raschke, Thai Son Hoang & Klaus Reichl
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Comments