Verified Software. Theories, Tools, and Experiments Lecture Notes in Computer Science, nr. 12031 Editat de Supratik Chakraborty et al. 14 mar 2020 Paperback Preț: 317.66 lei 397.08 lei 6-8 săpt. -20%
