Formal Techniques for Distributed Objects Components and Systems

68.48 EUR

Ein praxisorientiertes Werk, das formale Verfahren für verteilte Objekte, Komponenten und Systeme detailliert erklärt, neue Modellierungsmethoden vorstellt und die Verifikation von Konsistenz sowie Sicherheit demonstriert.

Marke: Pérez, Jorge A.

ISBN: 3030217582

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th ... Notes in Computer Science, Band 11535)

Medimops DE

68.48 EUR 68.48 EUR

22-04-2026 05:16:15

Access to the deal

Gesponsert Formal Techniques for Distributed Objects, Components, and Systems

SpringerLink DE

68.48 EUR 68.48 EUR

22-04-2026 09:09:24

Access to the deal

Gesponsert Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Nobuko Yoshida, Jorge A. Pérez

Galaxus.de

68.48 EUR 68.48 EUR

21-04-2026 20:41:13

Access to the deal