Ship to
Austria
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

    You are in:
  1. Home 
  2. Books 
  3. Books 

Beckert Bernhard Books

We found 9 Books for beckert bernhard

automated reasoning with analytic tableaux and related methods: international conference, tableaux 2005, koblenz, germany, september 14-17, 2005, proc

automated reasoning with analytic tableaux and related methods: international conference, tableaux 2005, koblenz, germany, september 14-17, 2005, proc

beckert, bernhard
springer, 2005, New

55,79 €
formal methods for components and objects: 10th international symposium, fmco 2011, turin, italy, october 3-5, 2011, revised selected papers

formal methods for components and objects: 10th international symposium, fmco 2011, turin, italy, october 3-5, 2011, revised selected papers

beckert, bernhard
springer, 2013, New

55,85 €
formal verification of object-oriented software: international conference, foveoos 2010, paris, france, june 28-30, 2010, revised selected papers

formal verification of object-oriented software: international conference, foveoos 2010, paris, france, june 28-30, 2010, revised selected papers

Beckert, Bernhard ; Marché, Claude
Springer, 2011, Paperback, New

57,67 €
formal verification of object-oriented software: international conference, foveoo 2011, turin, italy, october 5-7, 2011, revised selected papers

formal verification of object-oriented software: international conference, foveoo 2011, turin, italy, october 5-7, 2011, revised selected papers

Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian
Springer, 2012, Paperback, New

51,69 €
Electronic Voting: 5th International Joint Conference, E-Vote-Id 2020, Bregenz, Austria, October 6-9, 2020, Proceedings

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

Krimmer, Robert ; Volkamer, Melanie ; Beckert, Bernhard
Springer, Paperback, New

55,09 €
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of Key

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard
Springer, Paperback, New

55,09 €
Deductive Software Verification - The Key Book: From Theory to Practice

Deductive Software Verification - The Key Book: From Theory to Practice

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard
Springer, Paperback, New

117,00 €
The Logic of Software. a Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard
Springer, Paperback, New

100,45 €
verification of object-oriented software. the key approach: foreword by k. rustan m. leino

verification of object-oriented software. the key approach: foreword by k. rustan m. leino

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H.
Springer, 2007, Paperback, New

106,97 €

Few books have been found. You can Repeat Search without requiring all the searched terms to be present..