Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings Lecture Notes in Computer Science, nr. 7305 Editat de Achim Brucker et al. 16 mai 2012 Paperback Preț: 396.70 lei 495.88 lei 43-57 zile -20%