Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings Lecture Notes in Computer Science, nr. 7498 Editat de Rohit Gheyi et al. 11 aug 2012 Paperback Preț: 417.80 lei 522.25 lei 6-8 săpt. -20%