Deductive Software Verification: Future Perspectives Lecture Notes in Computer Science, nr. 12345 Editat de Wolfgang Ahrendt et al. 9 dec 2020 Paperback Preț: 324.82 lei 406.03 lei 6-8 săpt. -20%
