Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 9364 Editat de Bernd Finkbeiner et al. 22 noi 2015 Paperback Preț: 347.60 lei 434.50 lei 6-8 săpt. -20%
