Tests and Proofs
Editat de Bernhard Beckert et al.
31 mar 2008
Paperback
Preț: 316.49 lei 395.62 lei
6-8 săpt.
-20%
Cărți de Bernhard Beckert
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Editat de Bernhard Beckert et al.
14 ian 2011
Paperback
Preț: 316.28 lei 395.35 lei
3-5 săpt.
-20%
Verification of Object-Oriented Software. The KeY Approach
Editat de Bernhard Beckert et al.
3 ian 2007
Paperback
Preț: 641.97 lei 802.46 lei
6-8 săpt.
-20%
Automated Reasoning with Analytic Tableaux and Related Methods
Editat de Bernhard Beckert
5 sep 2005
Paperback
Preț: 348.40 lei 435.50 lei
38-44 zile
-20%
Formal Verification of Object-Oriented Software
Editat de Bernhard Beckert et al.
19 iul 2012
Paperback
Preț: 292.01 lei 365.01 lei
6-8 săpt.
-20%
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Editat de Wolfgang Ahrendt et al.
9 dec 2020
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Deductive Software Verification - The KeY Book
Editat de Wolfgang Ahrendt et al.
21 dec 2016
Paperback
Preț: 753.58 lei 941.98 lei
6-8 săpt.
-20%
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Editat de Wolfgang Ahrendt et al.
16 iun 2022
Paperback
Preț: 631.96 lei 789.94 lei
6-8 săpt.
-20%
Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings
Editat de Robert Krimmer et al.
25 sep 2020
Paperback
Preț: 370.46 lei
6-8 săpt.
Formal Methods for Components and Objects
Editat de Bernhard Beckert et al.
3 ian 2013
Paperback
Preț: 324.63 lei 405.79 lei
6-8 săpt.
-20%
Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
Editat de Robert Krimmer et al.
2 sep 2019
Paperback
Preț: 434.27 lei
6-8 săpt.