Formal Techniques for Distributed Objects Components and Systems

Dieses Buch führt in moderne formale Verfahren ein, um verteilte Objekte und Komponenten präzise zu modellieren, zu analysieren und deren Korrekthei ...

Allgemein

Marke
Christel Baier
ISBN
Christel Baier 331992611X

Eigenschaften

Menü