Bernhard Beckert

Popular items by Bernhard Beckert

View all offers

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334)

Item prices starting from

US$ 19.49

View 16 offers

Also find
New, Used
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science, 3702)

Item prices starting from

US$ 40.86

View 12 offers

Also find
New, Used
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, 7421)

Item prices starting from

US$ 64.49

View 8 offers

Also find
New
Deductive Software Verification – The KeY Book: From Theory to Practice (Programming and Software Engineering)

Item prices starting from

US$ 146.47

View 7 offers

Also find
New, First Edition