Components Operationally: Reversibility and System Engineering (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2025
- Softcover
- New
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
AbeBooks seller since June 22, 2007
Condition: New
US$ 119.50
Quantity: 1 available
Add to basketItem description from seller
Paperback. 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-Rhone-Alpes then the SPADES research team, and from 2015 to 2021 he was the Head of Science of the Inria Grenoble-Rhone-Alpes Research Center. Previously he worked at CNET (Centre National dEtudes des Telecommunications) and France Telecom 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…
Seller Inventory # 9783031997167
- Title
- Components Operationally: Reversibility and System Engineering (Paperback)
- Author
- Claudio Antares Mezzina
- Publisher
- Springer International Publishing AG, Cham
- Publication year
- 2025
- Condition
- new
- Binding
- Paperback
- Language
- English
- ISBN 10
- 3031997166
- ISBN 13
- 9783031997167
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.
"Synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About the title" may belong to another edition of this title.
AussieBookSeller
Truganina, VIC, Australia
AbeBooks seller since June 22, 2007
Shipping rates from Australia to U.S.A.
| Item | 25 to 45 business days | 8 to 14 business days |
|---|---|---|
| First item | US$ 37.00 | US$ 44.00 |
Payment methods
Seller's business information
The Nile Group Pty Ltd
42 Apex Drive
Truganina, VIC Australia 3029
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.
Shipping terms
Please note that titles are dispatched from our UK and NZ warehouse. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 8-15 days.