Components Operationally: Reversibility and System Engineering
Produktnummer:
1871cdba1b490142dc9d5911b659984a26
| Themengebiete: | Causal Analysis Component-Based Software Engineering Concurrency Distributed Programming Distributed Systems Formal Methods Process Calculi Reactive Programming Reversibility |
|---|---|
| Veröffentlichungsdatum: | 05.09.2025 |
| EAN: | 9783031997167 |
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Mezzina, Claudio Antares Schmitt, Alan |
| Verlag: | Springer International Publishing |
| Untertitel: | Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday |
Produktinformationen "Components Operationally: Reversibility and System Engineering"
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to 2015 Jean-Bernard led first the SARDES research team at Inria Grenoble-Rhône-Alpes then the SPADES research team, and from 2015 to 2021 he was the Head of Science of the Inria Grenoble-Rhône-Alpes Research Center. Previously he worked at CNET (Centre National d’Études des Télécommunications) and France Télécom R&D. He has been a long-time board member of DisCoTeC, the main conference on Distributed Computing Technologies, and is a past chair of IFIP Working Group 6.1. His current research interests include concurrency theory, reversibility, process calculi, and reactive and distributed programming languages.In addition to his research and organizational achievements, Jean-Bernard has been an inspiring collaborator, the scope and success of his career is reflected in the contributions to this volume.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen