Formal Methods for Open Object-Based Distributed Systems, Hardcover by Najm, ...

Formal Methods for Open Object-Based Distributed Systems IV : Ifip Tc6/Wg6.1 ...

Formal Methods for Open Object-Based Distributed Systems : Ifip Tc6/Wg6.1 Thi...

Formal Methods for Open Object-based Distributed Systems: Volume 2 by Howard Bow

Formal Methods for Open Object-Based Distributed Systems IV : Ifip Tc6/Wg6.1 ...

Formal Methods for Open Object-Based Distributed Systems : Ifip Tc6/Wg6.1 Thi...

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fou