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 6-8 săpt. -20%
