Produktbild: Components Operationally: Reversibility and System Engineering
Band 16065

Components Operationally: Reversibility and System Engineering Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday

59,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2025

Abbildungen

X, 237 p. 66 illus., 36 illus. in color.

Herausgeber

Claudio Antares Mezzina + weitere

Verlag

Springer

Seitenzahl

237

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

382 g

Sprache

Englisch

ISBN

978-3-031-99716-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.10.2025

Abbildungen

X, 237 p. 66 illus., 36 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

237

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

382 g

Sprache

Englisch

ISBN

978-3-031-99716-7

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Components Operationally: Reversibility and System Engineering

  • (Reversible) Concurrency.- Encoding Reversible Petri nets into CCSK.- Bounded Reversibility in HOπ.- Bisimulations and Reversibility.- Unique-solution of Equations in Higher-Order Process Calculi with Passivation.- Semantics.- From Complementary to Zipper Semantics.- CESAn: a Core Erlang Semantics Analyser.- Asynchronous Global Protocols, Precisely.- Verification.- Applied Formal Methods at ONERA: An experience Report.- Scalable verification of Local and Global properties of Collective Systems.- A Hybrid Modelling Approach for Hierarchical Control.- Applications.- Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems.- Towards Implementing Distributed Custom Serverless Function



    Scheduling in FunLess.