Bernhard Beckert
Artículos populares por Bernhard Beckert
Ver todas las ofertas-
Verification of Object-Oriented Software: The KeY Approach: Foreword by K. Rustan M. Leino: 4334 (Lecture Notes in Computer Science, 4334)
Precios de los artículos a partir de
Ver 16 ofertasEUR 16,00
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, ... (Lecture Notes in Computer Science, 3702)
Beckert, Bernhard
Precios de los artículos a partir de
Ver 12 ofertasEUR 35,49
-
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers: 7421 (Lecture Notes in Computer Science)
Precios de los artículos a partir de
Ver 8 ofertasEUR 56,01
Encuentra también
Nuevos -
Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Programming and Software Engineering)
Precios de los artículos a partir de
Ver 7 ofertasEUR 123,78
