Tests and Proofs, Fachbücher von Luca Vigano, Margus Veanes

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 Heike Wehrheim, Wolfgang Ahrendt

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

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

Tests and Proofs, Fachbücher von Catherine Dubois

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

Proof and Computation, Fachbücher

Catherine Dubois | Tests And Proofs | Taschenbuch | Englisch (2009) |

Truth, Proof and Infinity, Fachbücher

Tests And Proofs Third International Conference, Tap 2009, Zurich,

Nikolai Tillmann (u. A.) | Tests And Proofs | Taschenbuch | Englisch

Jacques Julliand (u. A.) | Tests And Proofs | Taschenbuch | Englisch