Hoppa till sidans huvudinnehåll

Bernhard Beckert – författare

Visar alla böcker från författaren Bernhard Beckert.
11 produkter
Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid - Electronic Voting, Häftad
Del 11759 - Lecture Notes in Computer Science

Electronic Voting

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

AvRobert Krimmer,Melanie Volkamerm. fl.

Häftad, Engelska, 2019

839 kr

Skickas inom 10-15 vardagar

Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mihkel Solvak - Electronic Voting, Häftad
Del 12455 - Lecture Notes in Computer Science

Electronic Voting

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

AvRobert Krimmer,Melanie Volkamerm. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich - Deductive Software Verification: Future Perspectives, Häftad
Del 12345 - Lecture Notes in Computer Science

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

AvWolfgang Ahrendt,Bernhard Beckertm. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen - Logic of Software. A Tasting Menu of Formal Methods, Häftad
Del 13360 - Lecture Notes in Computer Science

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 Beckertm. fl.

Häftad, Engelska, 2022

1 449 kr

Skickas inom 10-15 vardagar

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich - Deductive Software Verification – The KeY Book, Häftad
Del 10001 - Lecture Notes in Computer Science

Deductive Software Verification – The KeY Book

From Theory to Practice

AvWolfgang Ahrendt,Bernhard Beckertm. fl.

Häftad, Engelska, 2016

1 739 kr

Skickas inom 10-15 vardagar

Bernhard Beckert - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach, Häftad

Verification of Object-Oriented Software. The KeY Approach

Foreword by K. Rustan M. Leino

AvBernhard Beckert,Reiner Hähnlem. fl.

Häftad, Engelska, 2007

1 449 kr

Skickas inom 10-15 vardagar

Bernhard Beckert, Reiner Hähnle - Tests and Proofs, Häftad

Tests and Proofs

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

AvBernhard Beckert,Reiner Hähnle

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Bernhard Beckert, Claude Marché - Formal Verification of Object-Oriented Software, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software, Häftad

Formal Verification of Object-Oriented Software

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

AvBernhard Beckert,Ferruccio Damianim. fl.

Häftad, Engelska, 2012

669 kr

Skickas inom 10-15 vardagar

Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

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

AvBernhard Beckert,Ferruccio Damianim. fl.

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar