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

Jim Davies (u. A.) | Formal Methods And Software Engineering |

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

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

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

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

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

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

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

Teaching Formal Methods, Fachbücher von Jeremy Gibbons, Jose Nuno Oliveira

Generic Programming, Fachbücher von Jeremy Gibbons, Johan Jeuring

Bidirectional Transformations, Fachbücher von Perdita Stevens, Jeremy Gibbons

Unifying Theories of Programming and Formal Engineering Methods, Fachbücher von Jim Woodcock, Zhiming Liu, Huibiao Zhu

Formal Methods and Hybrid Real-Time Systems, Fachbücher von Cliff B. Jones, Zhiming Liu, Jim Woodcock

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

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