Formal Methods for Web Services, Fachbücher

Formal Methods for Multicore Programming, Fachbücher

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 Computer/Communications Protocols and Software, Fachbücher

Formal Methods For Computer/communications Protocols And Software

Formal Methods For Dynamical Systems 13th International School On

NASA Formal Methods, Fachbücher von Aaron Dutle, Anthony Narkawicz, César Muñoz

Formal Techniques for Distributed Systems, Fachbücher von David Lee, Arnd Poetzsch-Heffter, Antonia Lopes

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

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

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

Formal Methods For Multicore Programming 15th International School On

Testing of Software and Communication Systems, Fachbücher von Paul Baker, Manuel Nunez, Mercedes G. Merayo

Formal Methods for Industrial Critical Systems, Fachbücher von Pedro Merino, Stefan Leue

Formal Methods for Computational Systems Biology, Fachbücher