Filtre: Springer International Publishing

Cărți de Bernhard Beckert

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ț: 370^.46 lei

6-8 săpt.

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ț: 322^.43 lei 403^.04 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ț: 631^.96 lei 789^.94 lei

6-8 săpt.

-20%

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ț: 434^.27 lei

6-8 săpt.