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