Deductive Software Verification - The KeY Book
Editat de Wolfgang Ahrendt et al.
21 dec 2016
Paperback
Preț: 753.58 lei 941.98 lei
6-8 săpt.
-20%
Mattias Ulbrich
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.43 lei 403.04 lei
6-8 săpt.
-20%