Formal Techniques for Distributed Objects Components and Systems

52.74 EUR 1% Off 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