Deductive Software Verification - The KeY Book Lecture Notes in Computer Science Editat de Wolfgang Ahrendt et al. 21 dec 2016 Paperback Preț: 753.58 lei 941.98 lei 43-57 zile -20%