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

Software Engineering and Formal Methods, Fachbücher von Einar Broch Johnsen, Ina Schaefer

Einar Broch Johnsen Software Engineering And Formal Methods

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

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Marcello M. Bonsangue, Einar Broch Johnsen

Einar Broch Johnsen (u. A.) | Formal Methods For Multicore Programming

Tests and Proofs, Fachbücher von Sebastian Gabmeyer, Einar Broch Johnsen

Service-Oriented and Cloud Computing, Fachbücher von Einar Broch Johnsen

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

Formal Methods Teaching, Fachbücher von Brijesh Dongol, Luigia Petre, Graeme Smith

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

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 Jim Davies, Jeremy Gibbons

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

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