Formal Techniques for Distributed Objects Components and Systems | Kaicus Deutschland

Formal Techniques for Distributed Objects Components and Systems

68.48 EUR 3% Off 70.40 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