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

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

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

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

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

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 |

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