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

Lecture Notes in Computer Science, nr. 6528

Editat de Bernhard Beckert et al.

14 ian 2011

Preț: 328^.79 lei 410^.98 lei

3-5 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 4966

Editat de Bernhard Beckert et al.

31 mar 2008

Preț: 328^.92 lei 411^.16 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

Lecture Notes in Computer Science, nr. 13360

Editat de Wolfgang Ahrendt et al.

16 iun 2022

Preț: 657^.34 lei 821^.68 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12345

Editat de Wolfgang Ahrendt et al.

9 dec 2020

Preț: 335^.18 lei 418^.98 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12455

Editat de Robert Krimmer et al.

25 sep 2020

Preț: 385^.08 lei

6-8 săpt.

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

Lecture Notes in Computer Science, nr. 11759

Editat de Robert Krimmer et al.

2 sep 2019

Preț: 451^.48 lei

6-8 săpt.

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

Lecture Notes in Computer Science, nr. 10001

Editat de Wolfgang Ahrendt et al.

21 dec 2016

Preț: 780^.94 lei 976^.17 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 7542

Editat de Bernhard Beckert et al.

3 ian 2013

Preț: 335^.88 lei 419^.85 lei

6-8 săpt.

-20%

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7421

Editat de Bernhard Beckert et al.

19 iul 2012

Preț: 311^.01 lei 388^.76 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 4334

Editat de Bernhard Beckert et al.

3 ian 2007

Preț: 665^.09 lei 831^.37 lei

6-8 săpt.

-20%

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3702

Editat de Bernhard Beckert

5 sep 2005

Preț: 319^.47 lei 399^.34 lei

38-44 zile

-20%