Bernhard Beckert
Articoli popolari di Bernhard Beckert
Visualizza tutte le offerte-
Verification of Object-Oriented Software: The KeY Approach: Foreword by K. Rustan M. Leino: 4334
Prezzi articolo a partire da
Visualizza 16 offerteEUR 16,00
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings: 3702
Beckert, Bernhard
Prezzi articolo a partire da
Visualizza 12 offerteEUR 35,49
-
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers: 7421
Prezzi articolo a partire da
Visualizza 8 offerteEUR 56,01
Trova anche
Nuovi -
Deductive Software Verification – The KeY Book: From Theory to Practice: 10001
Prezzi articolo a partire da
Visualizza 7 offerteEUR 123,78
