Theoretical Aspects of Computing - ICTAC 2016 Lecture Notes in Computer Science, nr. 9965 Editat de Augusto Sampaio et al. 22 sep 2016 Paperback Preț: 345.68 lei 432.09 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Editat de Farn Wang 19 oct 2004 Paperback Preț: 635.35 lei 794.19 lei 6-8 săpt. -20%