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

Integrated Formal Methods, Fachbücher von Luigia Petre, Einar Broch Johnsen

Formal Methods for Open Object-Based Distributed Systems V, Fachbücher von Arend Rensink, Bart Jacobs

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Alessandro Fantechi, Paolo Ciancarini, Roberto ...

Formal Methods for Open Object-Based Distributed Systems IV, Fachbücher von Scott F. Smith, Carolyn L. Talcott

Theory and Practice of Formal Methods, Fachbücher von Marcello Bonsangue, Einar Broch Johnsen, Erika Ábrahám

Formal Methods For Open Object-based Distributed Systems V Ifip Tc6 /

Einar Broch Johnsen (u. A.) | Formal Methods For Multicore Programming

Einar Broch Johnsen Software Engineering And Formal Methods

Software Engineering and Formal Methods, Fachbücher von Einar Broch Johnsen, Ina Schaefer

Paolo Ciancarini (u. A.) | Formal Methods For Open Object-based

Service-Oriented and Cloud Computing, Fachbücher von Einar Broch Johnsen

Arend Rensink (u. A.) | Formal Methods For Open Object-based

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 ...

Jean-bernard Stefani (u. A.) | Formal Methods For Open Object-based...