Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday de Alexander Raschke

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday: Lecture Notes in Computer Science, cartea 12750

Editat de Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
en Limba Engleză Paperback – 4 iun 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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33621 lei

Preț vechi: 42026 lei
-20% Nou

Puncte Express: 504
Preț estimativ în valută:
6433€ • 6735$ • 5323£

Carte tipărită la comandă

Livrare economică 07-21 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030760199
ISBN-10: 3030760197
Pagini: 353
Ilustrații: XVI, 353 p. 122 illus., 75 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.52 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

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.

Textul de pe ultima copertă

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.

Caracteristici

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 Invited contributions in this volume by leading researchers in the areas of Software Engineering, Programming Languages, Business Information Systems, and Computer Science Logic Festschrift acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer