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

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

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

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

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 Luca Vigano, Margus Veanes

Tests and Proofs, Fachbücher von Heike Wehrheim, Wolfgang Ahrendt

Tests and Proofs, Fachbücher von Martina Seidl, Nikolai Tillmann

Tests and Proofs, Fachbücher von Franz Wotawa, Frédéric Loulergue

Tests and Proofs, Fachbücher von Reiner Hähnle, Bernhard Beckert

Tests and Proofs, Fachbücher von Dirk Beyer, Chantal Keller

Tests and Proofs, Fachbücher von Carlo A. Furia, Bernhard K. Aichernig

Tests and Proofs, Fachbücher von Catherine Dubois