Bernhard Beckert | Akateeminen Kirjakauppa

Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino

Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

100,90 €

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

Beckert, Bernhard; Hähnle, Reiner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany,

Beckert, Bernhard
Springer
2005
Pehmeäkantinen kirja

51,10 €

Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010,

Beckert, Bernhard; Marché, Claude
Springer
2011
Pehmeäkantinen kirja

51,10 €

Formal Verification of Object-Oriented Software - International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revise

Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

47,20 €

Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Se

Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,10 €

Deductive Software Verification – The KeY Book : From Theory to Practice

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Springer
2016
Pehmeäkantinen kirja

120,90 €

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

Krimmer, Robert; Volkamer, Melanie; Cortier, Veronique; Beckert, Bernhard; Küsters, Ralf; Serdült, Uwe; Duenas-Cid, David
Springer
2019
Pehmeäkantinen kirja

59,10 €

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

Krimmer, Robert; Volkamer, Melanie; Beckert, Bernhard; Küsters, Ralf; Kulyk, Oksana; Duenas-Cid, David; Solvak, Mihkel
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Springer
2022
Pehmeäkantinen kirja

100,90 €