Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Be...

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Reiner Hähnle, Frank S. de Boer, Elena ...

Frank S. De Boer (u. A.) | Formal Methods For Components And Objects |

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Marcello M. Bonsangue, Einar Broch Johnsen

Formal Methods For Components And Objects 7th International Symposium,

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Eric Madelaine

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Ana Sokolova, Alexey Gotsman

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Luís Caires, Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Alexandra Silva, Ahmed Bouajjani

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Elvira Albert, Ivan Lanese

It's All About Coordination, Fachbücher von Frank de Boer, Marcello Bonsangue, Jan Rutten

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Nobuko Yoshida, Jorge A. Pérez

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Tim A. C. Willemse, Kirstin Peters

Formal Techniques For Distributed Objects, Components, And Systems