Formal Methods, Fachbücher von Erik de Vink, Jan Peleska, Klaus Havelund, Bill Roscoe

Formal Methods: Foundations and Applications, Fachbücher von Bill Roscoe, Márcio Cornélio

Bill Roscoe (u. A.) | Formal Methods: Foundations And Applications |

Transactions on Computational Systems Biology XIV, Fachbücher von Corrado Priami, Erik de Vink, Ion Petre

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

Software Engineering and Formal Methods, Fachbücher von Rocco De Nicola, eva Kühn

Web Services, Formal Methods, and Behavioral Types, Fachbücher von Jan Martijn van der Werf, Thomas Hildebrandt, Matthia...

Formal Methods in Systems Biology, Fachbücher

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

Formal Methods: Foundations and Applications, Fachbücher

Formal Methods in Automated Design Debugging, Fachbücher

Formal Methods for Performance Evaluation, Fachbücher

Concise Guide to Formal Methods, Fachbücher

Klaus Havelund (u. A.) | Nasa Formal Methods | Taschenbuch | Englisch

Formal Methods for Industrial Critical Systems, Fachbücher

Formal Methods. FM 2019 International Workshops, Fachbücher