Theoretical Aspects of Computing - ICTAC 2005 Editat de Dang Van Hung et al. 4 oct 2005 Paperback Preț: 638.90 lei 798.63 lei 43-57 zile -20%
Automated Technology for Verification and Analysis Editat de Dang Van Hung et al. 11 sep 2013 Paperback Preț: 333.61 lei 417.02 lei 43-57 zile -20%