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

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

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

Formal Methods for Components and Objects, Fachbücher von Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

Software Engineering and Formal Methods, Fachbücher von Antonio Cerone, Frank de Boer

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

Formal Methods For Components And Objects 11th International

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

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

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

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 Luís Caires, Christel Baier

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

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