Bernhard Beckert nella categoria Libri - Varie

Articoli di Bernhard Beckert in shop completo

Bernhard Beckert come Con la collaborazione di Mostra tutti e 10 i risultati

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Einar Broch Johnsen - The Logic of Software. A Tasting Menu of Formal Methods Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Einar Broch Johnsen The Logic of Software. A Tasting Menu of Formal Methods Inglese 01.01.2022 Tascabile CHF 134.00 1-2 settimane
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, … - Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, … Deductive Software Verification: Future Perspectives Inglese 02.04.2021 Tascabile CHF 69.00 1-2 settimane
Bernhard Beckert, Bernhard Beckert et al, David Duenas-Cid, Robert Krimmer, Oksana Kulyk, … - Electronic Voting 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings
Bernhard Beckert, Bernhard Beckert et al, David Duenas-Cid, Robert Krimmer, Oksana Kulyk, … Electronic Voting Inglese 25.12.2020 Tascabile CHF 69.00 1-2 settimane
Bernhard Beckert, Veronique Cortier, Veronique Cortier et al, David Duenas-Cid, Robert Krimmer, … - Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Bernhard Beckert, Veronique Cortier, Veronique Cortier et al, David Duenas-Cid, Robert Krimmer, … Electronic Voting Inglese 01.01.2019 Tascabile CHF 81.00 1-2 settimane
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, … - Deductive Software Verification - The KeY Book From Theory to Practice
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, … Deductive Software Verification - The KeY Book Inglese 01.01.2016 Tascabile CHF 159.00 6-7 settimane
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer - Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer Formal Methods for Components and Objects Inglese 03.01.2013 Tascabile CHF 69.00 1-2 settimane
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software Inglese 19.07.2012 Tascabile CHF 65.00 1-2 settimane
Bernhar Beckert, Bernhard Beckert - Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Bernhar Beckert, Bernhard Beckert Automated Reasoning with Analytic Tableaux and Related Methods Inglese 28.01.2010 Tascabile CHF 70.00 6-7 settimane
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach Inglese 14.04.2009 Tascabile CHF 135.00 6-7 settimane
Bernhard Beckert, Reiner Hähnle - Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Bernhard Beckert, Reiner Hähnle Tests and Proofs Inglese 31.03.2008 Tascabile CHF 69.00 1-2 settimane