Formal Methods in Outer Space, Fachbücher von Ezio Bartocci, Yliès Falcone, Martin Leucker

Ezio Bartocci (u. A.) | Formal Methods In Outer Space | Taschenbuch |

Lectures on Runtime Verification, Fachbücher von Ezio Bartocci, Yliès Falcone

It Came From Outer Space Wearing an RAF Blazer!, Fachbücher von Martin Mobberley

NASA Formal Methods, Fachbücher

Formal Methods: Applications and Technology, Fachbücher von Martin Leucker, Jaco van de Pol, Boudewijn Haverkort, Lubos ...

Computational Methods in Systems Biology, Fachbücher von Ezio Bartocci, Nicola Paoletti, Pietro Lio

Formal Methods in Systems Biology, Fachbücher

Scale Space and Variational Methods in Computer Vision, Fachbücher von Martin Burger, Jan Lellmann, Jan Modersitzki

Formal Methods for Performance Evaluation, Fachbücher

Formal Methods in Automated Design Debugging, Fachbücher

Web Services and Formal Methods, Fachbücher

Concise Guide to Formal Methods, Fachbücher

Formal Methods: Foundations and Applications, Fachbücher

Mind Out of Action, Sachbücher von Ezio Di Nucci

Formal Methods. FM 2019 International Workshops, Fachbücher