Leveraging Applications of Formal Methods, Verification and Validation. Distribu
68,59 €
Distributed Systems. - Dynamic Logic for Ensembles. - Engineering Collectives of Self-driving Vehicles: the SOTA Approach. - Synthesizing Capabilities for Collective Adaptive Systems from Self-Descriptive Hardware Devices – Bridging the Reality Gap.
Jetzt bei Ebay:
