Hoppa till sidans huvudinnehåll

Bernhard Beckert - Böcker

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

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, Engelska, 2019

839 kr

Skickas inom 10-15 vardagar

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, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2022

1 419 kr

Skickas inom 10-15 vardagar

Deductive Software Verification – The KeY Book

From Theory to Practice

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2016

1 729 kr

Skickas inom 10-15 vardagar

Automated Reasoning with Analytic Tableaux and Related Methods

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

Av Bernhard Beckert

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Verification of Object-Oriented Software. The KeY Approach

Foreword by K. Rustan M. Leino

Av Bernhard Beckert, Reiner Hähnle m. fl

Häftad, Engelska, 2007

1 439 kr

Skickas inom 10-15 vardagar

Tests and Proofs

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

Av Bernhard Beckert, Reiner Hähnle

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2012

669 kr

Skickas inom 10-15 vardagar

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, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar