Formal Techniques for Distributed Objects Components and Systems

Ein Leitfaden, der formale Modelle nutzt, um die Interaktion verteilter Objekte zu beschreiben, Komponenten zu verifizieren und Systeme auf Konsistenz ...

Allgemein

Marke
Ahmed Bouajjani
ISBN
Ahmed Bouajjani 9783319602240

Eigenschaften

Menü