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