Leveraging Applications of Formal Methods, Verification, and Validation Editat de Reiner Hähnle et al. 12 oct 2012 Paperback Preț: 319.96 lei 399.94 lei 6-8 săpt. -20%