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, Fachbücher von Marcello M. Bonsangue, Einar Broch Johnsen

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

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

Einar Broch Johnsen Software Engineering And Formal Methods

Erika Ábrahám (u. A.) | Theory And Practice Of Formal Methods |

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

Integrated Formal Methods, Fachbücher von Marieke Huisman, Erika Ábrahám

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

Theory And Practice Of Formal Methods Essays Dedicated To Frank De

Tests and Proofs, Fachbücher von Sebastian Gabmeyer, Einar Broch Johnsen

Irrigation Agronomy : Theory and Methods, Fachbücher von Thomas Abraham

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Fachbücher von Tiziana Marg...

Formal Methods for Executable Software Models, Fachbücher von Einar Broch Johnsen, Reiner Haehnle, Marco Bernardo, Ferru...

PUBLIC ADMINISTRATION: theory and practice of methods and procedures, Fachbücher von Samson Brown Muchineripi Marume

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