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ț: 657.34 lei 821.68 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ț: 335.18 lei 418.98 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ț: 780.94 lei 976.17 lei
6-8 săpt.
-20%