Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 8172 Editat de Dang Van Hung et al. 11 sep 2013 Paperback Preț: 334.63 lei 418.29 lei 6-8 săpt. -20%
