Verified Software. Theories, Tools, and Experiments Lecture Notes in Computer Science, nr. 10712 Editat de Andrei Paskevich et al. 15 dec 2017 Paperback Preț: 318.48 lei 398.10 lei 6-8 săpt. -20%