Verified Software: Theories, Tools and Experiments Lecture Notes in Computer Science, nr. 8471 Editat de Dimitra Giannakopoulou et al. 28 oct 2014 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%
