Components operationally reversibility system (13 résultats)

Paperback. Etat : new. 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 multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Etat : Brand New. 200 pages. 9.26x6.11x9.25 inches. In Stock.

Etat : New.

Paperback. Etat : Brand New. 200 pages. 9.26x6.11x9.25 inches. In Stock.

Taschenbuch. Etat : Neu. Components Operationally: Reversibility and System Engineering | Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday | Claudio Antares Mezzina (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2025 | Springer | EAN 9783031997167 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Etat : new. 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.…

Etat : new. Questo è un articolo print on demand.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 248 pp. Englisch.…

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Etat : New. Print on Demand.

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Etat : New. PRINT ON DEMAND.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.…