Bernhard Beckert – författare

Visar alla böcker från författaren Bernhard Beckert.

11 produkter

1. 

   Electronic Voting

   4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings

   Av Robert Krimmer, Melanie Volkamer m. fl.

   Häftad, 2019

   859 kr

   Lägg i varukorg

2. 

   Electronic Voting

   5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings

   Av Robert Krimmer, Melanie Volkamer m. fl.

   Häftad, 2020

   739 kr

   Lägg i varukorg

3. 

   Deductive Software Verification: Future Perspectives

   Reflections on the Occasion of 20 Years of KeY

   Av Wolfgang Ahrendt, Bernhard Beckert m. fl.

   Häftad, 2020

   739 kr

   Lägg i varukorg

4. 

   Logic of Software. A Tasting Menu of Formal Methods

   Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

   Av Wolfgang Ahrendt, Bernhard Beckert m. fl.

   Häftad, 2022

   1469 kr

   Lägg i varukorg

5. 

   Deductive Software Verification – The KeY Book

   From Theory to Practice

   Av Wolfgang Ahrendt, Bernhard Beckert m. fl.

   Häftad, 2016

   1759 kr

   Lägg i varukorg

6. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

   Av Bernhard Beckert

   Häftad, 2005

   739 kr

   Lägg i varukorg

7. 

   Verification of Object-Oriented Software. The KeY Approach

   Foreword by K. Rustan M. Leino

   Av Bernhard Beckert, Reiner Hähnle m. fl.

   Häftad, 2007

   1469 kr

   Lägg i varukorg

8. 

   Tests and Proofs

   Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

   Av Bernhard Beckert, Reiner Hähnle

   Häftad, 2008

   739 kr

   Lägg i varukorg

9. 

   Formal Verification of Object-Oriented Software

   International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

   Av Bernhard Beckert, Claude Marché

   Häftad, 2011

   739 kr

   Lägg i varukorg

10. 

    Formal Verification of Object-Oriented Software

    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

    Av Bernhard Beckert, Ferruccio Damiani m. fl.

    Häftad, 2012

    679 kr

    Lägg i varukorg

11. 

    Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

    Av Bernhard Beckert, Ferruccio Damiani m. fl.

    Häftad, 2013

    739 kr

    Lägg i varukorg