Formal Techniques for Distributed Objects Components and Systems

Ein praxisnahes Werk über formale Methoden für verteilte Objekte, Komponenten und Systeme, das die Prinzipien von Modellen, Logik und Verifikation a ...

Allgemein

Marke
Susanne Graf
ISBN
Susanne Graf 3319191942
MPN
Susanne Graf 47 black & white illustrations, biograph

Eigenschaften

Menü