NASA Formal Methods, Fachbücher von Oksana Tkachuk, Sanjai Rayadurgam

NASA Formal Methods, Fachbücher von Misty Davies, Clark Barrett, Temesghen Kahsai

NASA Formal Methods, Fachbücher von Aaron Dutle, Ivan Perez, César A. Muñoz, Laura Titolo, Mariano M. Moscato

Nasa Formal Methods | Ritchie Lee (u. A.) | Taschenbuch | Paperback |

Suzette Person (u. A.) | Nasa Formal Methods | Taschenbuch | Englisch

Nasa Formal Methods 7th International Symposium, Nfm 2015, Pasadena,

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

Nasa Formal Methods | Aaron Dutle (u. A.) | Taschenbuch | Paperback |

Nasa Formal Methods 10th International Symposium, Nfm 2018, Newport

Nasa Formal Methods 13th International Symposium, Nfm 2021, Virtual

Nasa Formal Methods Clark Barrett (u. A.) Taschenbuch Paperback Xi

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

Formal Methods in Systems Biology, Fachbücher

Formal Methods: Foundations and Applications, Fachbücher

Formal Methods in Automated Design Debugging, Fachbücher

Formal Methods for Performance Evaluation, Fachbücher