Formal Techniques for Distributed Objects Components and Systems

Dieses Buch führt tief in formale Techniken für verteilte Objekte, Komponenten und Systeme ein, beleuchtet Modellierungssprachen, Verifikationstools ...

Allgemein

Marke
Elvira Albert
ISBN
Elvira Albert 9783319395692

Eigenschaften

Menü