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