Formal Techniques for Distributed Objects Components and Systems | Kaicus Deutschland

Formal Techniques for Distributed Objects Components and Systems

53.49 EUR 9% Off 59.00 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