Bernhard Beckert - Böcker
Electronic Voting
4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
829 kr
Skickas inom 10-15 vardagar
Electronic Voting
5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings
719 kr
Skickas inom 10-15 vardagar
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
719 kr
Skickas inom 10-15 vardagar
Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
1 429 kr
Skickas inom 10-15 vardagar
Deductive Software Verification – The KeY Book
From Theory to Practice
1 709 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
719 kr
Skickas inom 10-15 vardagar
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
1 429 kr
Skickas inom 10-15 vardagar
Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
719 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
719 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
659 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
719 kr
Skickas inom 10-15 vardagar