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

Theory and Practice of Formal Methods, Fachbücher von Marcello Bonsangue, Einar Broch Johnsen, Erika Ábrahám

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

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

Erika Ábrahám (u. A.) | Theory And Practice Of Formal Methods |

Integrated Formal Methods, Fachbücher von Jim Davies, Jeremy Gibbons

Integrated Formal Methods, Fachbücher von Brijesh Dongol, Elena Troubitsyna

Integrated Formal Methods, Fachbücher von Heike Wehrheim, Michael Leuschel

Integrated Formal Methods, Fachbücher von Steve Schneider, Nadia Polikarpova

Integrated Formal Methods, Fachbücher von Luigia Petre, Einar Broch Johnsen

Integrated Formal Methods, Fachbücher von Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

John Derrick (u. A.) | Integrated Formal Methods | Taschenbuch |

Wolfgang Grieskamp (u. A.) | Integrated Formal Methods | Taschenbuch |

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

Integrated Formal Methods 11th International Conference, Ifm 2014,

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