Bernhard Beckert
Articles populaires de Bernhard Beckert
Afficher toutes les offres-
Verification of Object-Oriented Software: The KeY Approach
Prix des articles à partir de
Afficher les 16 offresEUR 16,00
-
Automated Reasoning with Analytic Tableaux and Related Methods
Prix des articles à partir de
Afficher les 12 offresEUR 35,49
-
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Prix des articles à partir de
Afficher les 8 offresEUR 51,07
Rechercher également
Neuf -
Deductive Software Verification – The KeY Book: From Theory to Practice
Prix des articles à partir de
Afficher les 7 offresEUR 123,78
