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 43-57 zile -20%
