STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Bernhard Beckert | lit.salon
Bernhard Beckert
No bio available.
Add one in Open Library.
Books by Bernhard Beckert (50 max)
+ shelf
+ list
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science)
2005
Bernhard Beckert
+ shelf
+ list
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
2013
Bernhard Beckert
+ shelf
+ list
Deductive Software Verification - the KeY Book: From Theory to Practice
2016
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt
+ shelf
+ list
Verification of Object-Oriented Software. the KeY Approach Foreword by K. Rustan M. Leino
2007
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
+ shelf
+ list
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
2007
Bernhard Beckert
+ shelf
+ list
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
2008
Bernhard Beckert, Reiner Hähnle
+ shelf
+ list
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
2011
Bernhard Beckert
+ shelf
+ list
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
2012
Bernhard Beckert
+ shelf
+ list
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
2012
Bernhard Beckert
+ shelf
+ list
Deductive Software Verification : Future Perspectives Reflections on the Occasion of 20 Years of KeY
2020
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
+ shelf
+ list
Logic of Software. a Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
2022
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
