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ț: 632.49 lei 790.61 lei
6-8 săpt.
-20%
Richard Bubel
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.58 lei 403.23 lei
6-8 săpt.
-20%
Deductive Software Verification – The KeY Book: From Theory to Practice
Editat de Wolfgang Ahrendt et al.
21 dec 2016
Paperback
Preț: 751.37 lei 939.21 lei
6-8 săpt.
-20%