Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday / Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.).
Raschke, Alexander.; Riccobene, Elvinia, 1964-; Schewe, Klaus-Dieter.; Börger, E. (Egon), 1946- honouree.
2021
QA76.758
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday / Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.).
ISBN 9783030760205 (electronic bk.)
3030760200 (electronic bk.)
9783030760199
3030760197
DOI https://doi.org/10.1007/978-3-030-76020-5
Publication Details Cham : Springer, 2021.
Language English
Description 1 online resource (367 pages)
Item Number 10.1007/978-3-030-76020-5 doi
Call Number QA76.758
Dewey Decimal Classification 005.1
Summary 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.
Note Includes index.
Access Note Access limited to authorized users.
Added Author Raschke, Alexander.
Riccobene, Elvinia, 1964-
Schewe, Klaus-Dieter.
Börger, E. (Egon), 1946- honouree.
Series Lecture notes in computer science ; 12750.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Logic, Computation and Rigorous Methods.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
From Logic and Computation Theory to Rigorous Methods for Software Engineering
Towards Leveraging Domain Knowledge in State-Based Formal Methods
Some Observations on Mitotic Sets
Moded and Continuous Abstract State Machines
A Stepwise Design Optimization Problem
Semantic Splitting of Conditional Belief Bases
Communities and Ancestors Associated with Egon Börger and ASM
Language and communication problems in formalization: a natural language approach
ASM Specification and Refinement of a Quantum Algorithm
Spot the Difference: A Detailed Comparison Between B and Event-B
Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond
Analysis of Mobile Networks' Protocols Based on Abstract State Machines
What is the Natural Abstraction Level of an Algorithm
The ASMETA approach to safety assurance of software systems
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System
Computation on Structures: Behavioural Theory, Logic, Complexity
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes
Models and Modelling in Computer Science
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.

Browse Subjects

Show more subjects...

Statistics

from
to
Export