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

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

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

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Dirk Beyer, Damien Zufferey

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

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

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Marieke Huisman, Dirk Beyer

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

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Fabrice Kordon, Dirk Beyer, Bernhard S...

Formal Techniques for Distributed Systems, Fachbücher von Dirk Beyer, Michele Boreale

Die Fälle der Hauptkommissarin Chantal Keller, Belletristik von Rolf Brauer

Tests and Proofs, Fachbücher von Catherine Dubois

Tests and Proofs, Fachbücher von Bertrand Meyer, Yuri Gurevich

Proof and Computation, Fachbücher