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

Formal Methods for Dynamical Systems, Fachbücher von Erik de Vink, Herbert Wiklicky, Marco Bernardo, Alessandra Di Pierr...

Formal Methods for Multicore Programming, Fachbücher

Formal Methods for Web Services, Fachbücher

Einar Broch Johnsen Software Engineering And Formal Methods

Formal Methods for Computer/Communications Protocols and Software, Fachbücher

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

Formal Methods For Computer/communications Protocols And Software

Marco Bernardo (u. A.) | Formal Methods For Executable Software Models

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

Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

Formal Methods and Software Engineering, Fachbücher von Jun Pang, Stephan Merz

Formal Methods For Dynamical Systems 13th International School On

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

Methods, Models and Tools for Fault Tolerance, Fachbücher

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Fachbücher von Marco Bernardo, Rocco De N...