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 9 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 36,62
-
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 9 ofertasEUR 43,04
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 9 ofertasEUR 102,25
Encuentra también
Nuevos
