FM 2016: Formal Methods, Fachbücher von John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

Formal Methods. FM 2019 International Workshops, Fachbücher

Fm 2016: Formal Methods 21st International Symposium, Limassol,

Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Anna-Lena Lamprecht

FM 2008: Formal Methods, Fachbücher von Jorge Cuellar, Tom Maibaum

Critical Systems: Formal Methods and Automated Verification, Fachbücher von Maurice H. ter Beek, Alexander Knapp, Stefan...

Formal Methods. Fm 2019 International Workshops Porto, Portugal,

NASA Formal Methods, Fachbücher

Dominique Mery (u. A.) | Fm 2012: Formal Methods | Taschenbuch |

Fm 2015: Formal Methods 20th International Symposium, Oslo, Norway,

Formal Methods 24th International Symposium, Fm 2021, Virtual Event,

Formal Methods in Systems Biology, Fachbücher

Molecole ad attività antineoplastica, Fachbücher von M. Stefania Sinicropi, Anna Caruso

Ian J. Hayes (u. A.) | Fm 2005: Formal Methods | Taschenbuch |

Web Services And Formal Methods 5th International Workshop, Ws-fm

Cliff Jones (u. A.) | Fm 2014: Formal Methods | Taschenbuch | Englisch