Verified Software: Theories, Tools, and Experiments Lecture Notes in Computer Science, nr. 9593 Editat de Arie Gurfinkel et al. 29 ian 2016 Paperback Preț: 318.89 lei 398.61 lei 6-8 săpt. -20%
