Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th ... Notes in Computer Science, Band 11535)

Ein Leitfaden für die Anwendung formaler Verfahren in verteilten Softwaresystemen, der komplexe Modelle verständlich erklärt, praktische Beispiele ...

Allgemein

Marke
Pérez, Jorge A.
ISBN
Pérez, Jorge A. 3030217582

Eigenschaften

Menü