Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference On Formal Methods For Open Object-Based . . ... and Communication Technology, 10, Band 10)

Ein Leitfaden, der die Prinzipien formaler Methoden für offene, objektbasierte verteilte Systeme erläutert, neue Modellierungswerkzeuge vorstellt un ...

Allgemein

Marke
Paolo Ciancarini
ISBN
Paolo Ciancarini 1475752660
MPN
Paolo Ciancarini biography

Eigenschaften

Menü