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%
Mattias Ulbrich
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%