Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs (Engli

Formal Methods for Open Object-Based Distributed Systems by Paolo Ciancarini (En

Formal Methods for Protocol Engineering and Distributed Systems (English) Paperb

Formal Methods for Distributed System Development : #########################...

Formal Methods in Systems Engineering by Peter Ryan (English) Paperback Book

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache

Formal Methods for Distributed System Development : #########################...

Concepts for Distributed Systems Design by G. von Bochmann (English) Paperback B