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

AvRobert Krimmer,Melanie Volkamer m. fl.

Häftad, Engelska, 2019

829 kr

Skickas inom 10-15 vardagar

Electronic Voting

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

AvRobert Krimmer,Melanie Volkamer m. fl.

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

AvWolfgang Ahrendt,Bernhard Beckert m. fl.

Häftad, Engelska, 2020

719 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

AvWolfgang Ahrendt,Bernhard Beckert m. fl.

Häftad, Engelska, 2022

1 399 kr

Skickas inom 10-15 vardagar

Deductive Software Verification – The KeY Book

From Theory to Practice

AvWolfgang Ahrendt,Bernhard Beckert m. fl.

Häftad, Engelska, 2016

1 709 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

AvBernhard Beckert

Häftad, Engelska, 2005

719 kr

Skickas inom 10-15 vardagar

Verification of Object-Oriented Software. The KeY Approach

Foreword by K. Rustan M. Leino

AvBernhard Beckert,Reiner Hähnle m. fl.

Häftad, Engelska, 2007

1 429 kr

Skickas inom 10-15 vardagar

Tests and Proofs

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

AvBernhard Beckert,Reiner Hähnle

Häftad, Engelska, 2008

719 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

AvBernhard Beckert,Claude Marché

Häftad, Engelska, 2011

719 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

AvBernhard Beckert,Ferruccio Damiani m. fl.

Häftad, Engelska, 2012

659 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

AvBernhard Beckert,Ferruccio Damiani m. fl.

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar