Claudio Antares Mezzina – alle Bücher

Ihre Suche nach "Claudio Antares Mezzina" (Bücher) ergab 2 Treffer.

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 …

sofort lieferbar

Buch

Formal Techniques for Distributed Objects, Components, and Systems

.- tutorial paper..- A Choreographic View of Smart Contracts..- regular papers..- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems..- Sequential Composition of BDD Transition Syst…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.