Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)

106.99 EUR

Ein kompakter Leitfaden, der die wichtigsten formalen Techniken zur Analyse offener, objektbasierter verteilten Systeme zusammenfasst und anhand von Fallstudien aus der fünften IFIP-Konferenz konkrete Modellierungsschritte demonstriert.

Marke: Bart Jacobs
ISBN: 1475752687
MPN: biography