Structures of Computing - A Guide to Practice-Oriented Theory

Mon, 01 Jan 2024 00:00:00 +0000

Modeling Companion for Software Practitioners

Mon, 01 Jan 2018 00:00:00 +0000

Abstract State Machines - A Method for High-Level System Design and Analysis

Wed, 01 Jan 2003 00:00:00 +0000

Java and the Java Virtual Machine — Definition, Verification, Validation

Mon, 01 Jan 2001 00:00:00 +0000

The Classical Decision Problem

Wed, 01 Jan 1997 00:00:00 +0000

Computability, Complexity, Logic

Sun, 01 Jan 1989 00:00:00 +0000

Site Notice

Mon, 01 Jan 0001 00:00:00 +0000

Contact

Prof. Dr. Egon Börger

Dipartimento di Informatica
Università di Pisa
Largo B. Pontecorvo, 3
56127 Pisa
Italy

E-Mail: $egon$.$boerger$@$gmail.com$
Website: https://egonboerger.org

Notice of liability

Despite careful examination, we assume no liability for external links. Responsibility for the content of external links lies with the owners and responsible operators.

Copyright

My publications which are made available here for personal use are presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

In particular for the papers with copyright held by Springer-Verlag Berlin Heidelberg New York see: http://www.springer.de/comp/lncs/index.html

Any usage of material or information available on this website, including the reproduction, sales, alteration and publication is prohibited unless specifically approved by Egon Börger.

Domain, Encryption and Servers

The Top-Level Domain (TLD) https://egonboerger.org and all sub-domains are provided by the services from https://namecheap.com, the SSL/TLS certificate for encryption is provided by the services from https://letsencrypt.org, and the (virtual) server infrastructure and hosting of this website is provided by https://pages.github.com.

Cookies and Analytics

This website uses no analytics software of any kind. The only cookie the website uses and stores is a cookieconsent_status. This cookie consent status is used to store that the page informed you about this page and does only appear the first time you visit this page.