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)

Ein tiefgreifendes Werk über formale Methoden in offenen, objektbasierten verteilten Systemen, das die neuesten Forschungsergebnisse der fünften IFI ...

Allgemein

Marke
Bart Jacobs
ISBN
Bart Jacobs 1475752687
MPN
Bart Jacobs biography

Eigenschaften

Menü