Beckert, Bernhard books & textbook
Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings (Security and Cryptology)
Krimmer, Robert Volkamer, Melanie Beckert, Bernhard Küsters, Ralf Kulyk, Oksana Duenas-Cid, David Solvak, Mihkel
Springer /2020-09-25 Paperback / 244 Pages
isbn-10: 3030603466 / isbn-13: 9783030603465
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering)
Beckert, Bernhard Damiani, Ferruccio de Boer, Frank S. Bonsangue, Marcello M.
Springer /2013-01-03 Paperback / 366 Pages
isbn-10: 3642358861 / isbn-13: 9783642358869
Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings (Security and Cryptology)
Krimmer, Robert Volkamer, Melanie Cortier, Veronique Beckert, Bernhard Küsters, Ralf Serdült, Uwe Duenas-Cid, David
Springer /2019-09-02 Paperback / 244 Pages
isbn-10: 3030306240 / isbn-13: 9783030306243
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science, 4966)
Beckert, Bernhard Hähnle, Reiner
Springer /2008-03-31 Paperback / 203 Pages
isbn-10: 354079123X / isbn-13: 9783540791232
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)
Beckert, Bernhard Damiani, Ferruccio Gurov, Dilian
Springer /2012-07-19 Paperback / 261 Pages
isbn-10: 3642317618 / isbn-13: 9783642317613
Deductive Software Verification – The KeY Book: From Theory to Practice (Programming and Software Engineering)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Schmitt, Peter H. Ulbrich, Mattias
Springer /2016-12-21 Paperback / 734 Pages
isbn-10: 3319498118 / isbn-13: 9783319498119
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science) (2008-10-10)
Springer /1755-01-01 Paperback
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)
Springer /2005-09-05 Paperback / 360 Pages
isbn-10: 3540289313 / isbn-13: 9783540289319
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Johnsen, Einar Broch
Springer /2022-06-16 Paperback / 536 Pages
isbn-10: 303108165X / isbn-13: 9783031081651
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Ulbrich, Mattias
Springer /2020-12-09 Paperback / 352 Pages
isbn-10: 3030643530 / isbn-13: 9783030643539
