Formal Techniques for Distributed Objects Components and Systems | Kaicus Deutschland

Formal Techniques for Distributed Objects Components and Systems

53.49 EUR

Ein praxisorientiertes Handbuch, das formale Techniken für verteilte Objekte und Komponenten systematisch erklärt, Modellierungssprachen vorstellt und konkrete Fallstudien zur Verifikation liefert.

Marke: Elvira Albert
ISBN: 9783319395692