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ț: 644.05 lei 805.07 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ț: 328.45 lei 410.56 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ț: 765.12 lei 956.40 lei
6-8 săpt.
-20%