Bernhard Beckert – författare

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

11 produkter

Kategorier

11 produkter

Del 11759
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
849 kr
Skickas inom 10-15 vardagar
Del 12455
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
Del 12345
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
Del 13360
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 459 kr
Skickas inom 10-15 vardagar
Del 10001
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
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
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 459 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
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
AvBernhard 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
AvBernhard Beckert,Ferruccio Damianim. fl.
Häftad, Engelska, 2012
679 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 Damianim. fl.
Häftad, Engelska, 2013
729 kr
Skickas inom 10-15 vardagar