Formal Methods, Fachbücher von Naijun Zhan, Corina Pasareanu, Marieke Huisman

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

Software Engineering and Formal Methods, Fachbücher von Corina S. Pasareanu, Radu Calinescu

Marieke Huisman (u. A.) | Formal Methods | Taschenbuch | Englisch

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Marieke Huisman, Dirk Beyer

Formal Aspects of Component Software, Fachbücher von Corina S. Pasareanu, Gwen Salaün

NASA Formal Methods, Fachbücher

Coalgebraic Methods in Computer Science, Fachbücher von Corina Cîrstea

Formal Verification of Simulink/Stateflow Diagrams, Fachbücher von Naijun Zhan, Hengjun Zhao, Shuling Wang

Formal Methods in Systems Biology, Fachbücher

Formal Methods for Performance Evaluation, Fachbücher

Formal Methods: Foundations and Applications, Fachbücher

Formal Methods and Software Engineering, Fachbücher

Concise Guide to Formal Methods, Fachbücher

Formal Methods in Automated Design Debugging, Fachbücher

Formal Methods for Industrial Critical Systems, Fachbücher