Hanne Riis Nielson (u. A.) | Formal Methods | Buch | Englisch (2019) |

Semantics, Logics, And Calculi Essays Dedicated To Hanne Riis Nielson

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

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

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

Modellierung | Uwe Kastens (u. A.) | Grundlagen Und Formale Methoden |

Luigia Petre (u. A.) | Integrated Formal Methods | Taschenbuch |

Integrated Formal Methods Emil Sekerinski (u. A.) Taschenbuch

José Fiadeiro (u. A.) | Formal Methods: Foundations And Applications |

João F. Ferreira (u. A.) | Formal Methods Teaching | Taschenbuch |

Antonio Cerone (u. A.) | Software Engineering And Formal Methods |

Marco Roveri (u. A.) | Software Engineering And Formal Methods |

Reiner Hähnle (u. A.) | Leveraging Applications Of Formal Methods,...

Carla Piazza (u. A.) | Formal Methods In Macro-biology | Taschenbuch |

Jun Pang (u. A.) | Formal Methods And Software Engineering |

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